Intro to 2 column proofs.docx