The First Order Optimality Conditions