Text this: Constructibility and mathematical existence /