Text this: Naive set theory