example of an invariant - Search