filter and assertions correction