CS 1155 - Understanding and Constructing Proofs