Proofs Assignment 1 Marking Scheme