Email Record: Naive set theory