Text this: Reasoning with the infinite