Email Record: Computational logic and set theory :