Email Record: Set theory and its logic /