Email Record: An Introduction to Formal Logic.