Proof GP (Proof)