Text this: Topology via logic