The classic introductory mechanics problem considers the motion of a box sliding down an inclined plane. As I'm reviewing the early chapters in Taylor's Classical Mechanics, I was struck by a question: in such a problem, we always say that the box has no motion in the y-direction (as is standard for such problems our coordinate system has axes parallel and perpendicular to the plane, the x- and y-axis, respectively) and therefore we can equate the normal force with the perpendicular component of gravity so that we can proceed with the analysis. For instance, in solving the problem, Taylor waves his hand, saying
Since the block does not jump off the incline, we know there is no motion in the y-direction[...]
What allows us, a priori, to say that the box will stay on the plane. Is it simply common sense, or is there some other way of showing it that is more rigorous?