Quantified Proofs (Part 3)