missing invariant