Proof Operator