Proofs, etc.