what is an invariant - Search