set up framework to be worked on proof.java