Text this: Higher order necessary conditions in optimal control theory /