More proofs