It's crazy that embodied cognition is known to be the normal path forward in most human activities, and elite athletes are transparent about their extensive use of imaginative rehearsal — but when mathematicians tell the same story, they're "cranks" or "blank-slatists".