combining invariants
invariants in README