Assert invariants