Task-relevant actions can facilitate mathematical thinking, even for complex topics, such as mathematical proof. We investigated whether such cognitive benefits also occur for action predictions. The action-cognition transduction (ACT) model posits a reciprocal relationship between movements and reasoning. Movements--imagined as well as real ones…