Andrew Collier - 010224 - Proofs