incremented counter in proof.java