Email Record: Introduction to Formal Logic.