of Argumentations in Classroom Proving Processes; Christine Knipping and David Reid --