Open State of Proof