Update ProofChloe.java