Text this: What is a mathematical theory?