diff -r 92b3e287d87e -r eeff9953a1c1 proof.pdf
Binary file proof.pdf has changed