Prove the search hides the rest: a write exercise in test automation