added note on KKT conditions