what are invariants in logic - Search