Now updating constraint violations