Foundations 11 Dec 18 2017 December 17, 2017December 15, 2017 rpahlevanluFoundations 11 Today: More Proofs! D4 More Proofs (WORD) D4 More Proofs (PDF)