diff -r 0690574aca74 -r bc58d389106b Publications/itp-12.pdf Binary file Publications/itp-12.pdf has changed