invariants in writing - Search