Text this: On the computational properties of the Baire category theorem.