Math is whatever it is mathematicians do.