Using Intra-Task Flexibility on an Intelligent Tutoring System to Promote Arithmetic Problem-Solving Proficiency | AMiner