Text this: Geometric topology, discrete geometry, and set theory :