Proofs--3