Any reason for `assert` here over `checkState`?