Proofs--6