Proofs--4