More proofs.