Text this: What is mathematics, really?