If there’s an error here, would that not imply that the state is already inconsistent, or at least that it will become inconsistent regardless?