Kuhn-Tucker
conds suff?