example of an invariant - Search
Refresh