first-order condition