; !B!)
modulo the equivalence relation that sets r (c) = 0 and adjusts
all of the other predicates accordingly.  In a logical frame of
mind one tends to think of quotient operations in terms of the
propositions that are equated to 1, or stipulated to be true,
so let us denominate this quotient lattice as [c, r]/(r(c)).
In the Figure, I label each point with the two propositions
in [c, r] that are equivalent mod (r(c)) in [c, r]/(r(c)).
By the way, () and (()) are alternate names for 0 and 1,
respectively, w