What do we do when we do mathematics?