The links between both perspectives are so close, that valid principles of logic come to express game-theoretic facts. For instance, after a little analysis, the law of excluded middle implies that always either Verifier or Falsifier has a winning strategy, cf. Section 2.4. In other words, logical evaluation games for classical logic are determined in the game-theoretic sense. In fact, This property extends to most games for non-classical logics.