Proofs--2