adding `checkState` precondition