Invariant verified at cnostructor end.