 By contrast, instances of the following schema, giving the treatment of “whether φ or ψ ” in Lewis (1982) for Boolean φ, ψ (though not in general, as explained in the last paragraph of note 51 below), would only be diagonally equivalent to the corresponding instances of the above pair: