The problem formulation of ‘prove or disprove’ seemed to have prompted a need for insight into whether the statements were true or false. They had drawn on personal example spaces (PES) of simple functions and of general representations to provide manipulable objects