diff -r 32af6d4de262 -r 4e5092ab450a proof.pdf
Binary file proof.pdf has changed