not doing variable history for now... fixed logical bug in proofjs