Properties and Proofs