more generally, if formula_23 is not in negation normal form, we can state, as a rule for negation, that, when a game formula_72 is reached, the players begin playing a dual game formula_73 in which the roles of verifiers and falsifier are switched.