How Mathematics Is Done