[math-fun] How we "do mathematics"