Kuhn-Tucker
conds nec?