Email Record: New methods in symbolic logic /