a new version of Proof