Prove the search actually filters: a write exercise in test automation