Prover can now create a presentation proof.