Even after careful examination, a case may exist in which the deduction cannot proceed as intended. In such a case, it becomes necessary to (i) develop a new theory. For example, students who have learned mathematics up to the lower secondary (junior high school) level may mathematize the movement of a point in space with coordinates that are considered functions of time and may expect that all information about that movement is reduced to the properties of the functions considered. These students, however, do not yet have the theory needed for deduction about the velocity and acceleration of that movement. At this point, they may construct a theory about the derivatives of functions by refining their intuitive idea of velocity. This could be a context in which calculus may be introduced into upper secondary(senior high) school mathematics.