Email Record: Elementary symbolic logic /