Update Proof With CO.java