(Particularly 'cause you can static import `checkState()`)