What is mathematical thinking actually like?