 Returning to the case of binary connectives or two-variable two-dimensional formulas, we could reason similarly. (The interested reader is left to work the general n-variable case.) 216 = 65,536 is the number of equivalence classes of 4-variable formulas, the exponent 16 here being chosen as 24, the number of equivalence classes of 2-variable formulas. So if the variables are p, q, r, s, when we collapse the former Boolean algebra into the latter by identifying r with p (thinking of r as Ap) and s with q (thinking of s as Aq) we are moving from 65,536 elements to 16, and a similarly equitable distribution renders each element of the 16-element algebra as the image of 65,536/16 elements of the larger algebra, which equals 4096 (= 212 = 216/ 24). There is a simpler route to this conclusion, and that is by consideration of such Stalnaker-inspired matrices as feature in Fusco’s discussion (see note 51). This is a 4-by-4 matrix since we have to take into account the local (‘world of evaluation’) truth-value and the actual truth-value of the first component (four possible combinations) of a binary compound and similarly for the second component, and reading down the diagonal gives the truth-table for the Boolean connective of which the original is a two-dimensional isotope. Thus in Fusco’s case, this descending diagonal reads “T, T, T, F”, just like the descending vertical column of a familiar truth-table as conventionally displayed. The latter feature is retained however we label with Ts and Fs (or 1s and 0s if preferred) the non-diagonal cells, of which there are 12 (16 minus the four on the diagonal). Since each of these cells can be filled with either a T or an F, so we are back calculating 212 and getting the answer 4096, whichever binary truth-function our original diagonal had displayed, including of course that associated with ∨. Thus, if you like Fusco’s general strategy for responding to difficulties like those faced by what seemed to be Boolean disjunction behaving badly when deontically embedded, there is plenty of room to tweak the details of her proposed solution. 