What does it feel like to invent math?