Formal student thinking in mathematical problem-solving | Synapse