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