Email Record: Naive set theory /