Do you mean that this should instead be an `invariant`?