Text this: Towards a philosophy of real mathematics