�~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

DM: I wonder if you are really serious about your assertion that these twelve
    &quot;partition ... the relevant universe of discourse into ... categories of
    the exhaustive and mutually exclusive sort&quot;?  Maybe this is just a toy
    example of the kind that the notation-obsessed use to fill the slots
    of some shining syntactic bauble?  Or do you really mean that any and
    every domain can be partitioned thus, and that this is a particularly
    