This should be `checkState`