Text this: Theory of Sets C.1.