Email Record: Symbolic logic and mechanical theorem proving