Email Record: An Introduction to symbolic logic