Added KKT conditions. Started with the code