This paper examines a process of solving different types of counterfactual arithmetic problems (problems contradicted a visual experience, an experience of temperature, encyclopedic knowledge, etc.) in comparison with their ‘real’ counterparts by different types of subjects (e.g., educated in math and educated in humanities). As a result, a two-stage model of solving arithmetic problems is outlined in the paper.