Email Record: Symbolic logic ;