Prove the status filter filters: a write exercise in test automation