var proof = new Proof("VertiFree");