Text this: The philosophy of mathematical practice