Proofs (10)