diff -r 792f907a1a16 -r 3f52b7ff7688 Publications/itp-12.pdf Binary file Publications/itp-12.pdf has changed