examples of invariants - Search