Update Proof.java

Last update for the night of 7/18/13