Intuitively, the L_uv operators may be thought of as qualifying propositions
according to the elements of the universe of discourse that each proposition
positively values.  Taken together, these measures provide us with the means
to express many useful observations about the propositions in X% = [x, y],
and so they mediate a subtext [L_00, L_01, L_10, L_11] that takes place
within the higher order universe of discourse X%2 = [X%] = [[x, y]].

Figure 15 summarizes the action of the L_uv on the f_i in X%2.

