SMS dit: Naive set theory