invariants and conditions