Support for verifying a list after filtering