What does it mean to "think" in mathematics? | Synapse