assert all the corrections