Proof is a valid state variable