Clarified KKT.