how to find invariants - Search