2014-10-21-discrete-math-logic-and-proofs.md