This result records normal terminal manifold transversality condition in a form suited to nonlinear and optimal control. It is used to justify stability, existence, optimality, or numerical approximation arguments elsewhere in the control theory notes.