1. After checking KKT