ProofState_intf.S