Karush-Kuhn-Tucker (student stuff)