The purpose of this paper is to give a geometrical answer to the question: do the strong second order sufficiency conditions hold at any local minimum point for almost all nonlinear programs? Our idea ...