Update Proof.java

For some reason, expressionList is not updating everything.