Text this: On consequences of the Countable Union Theorem, their deductive strength and interaction with topology.