Update Proof Added find Consequent.java