

    &quot;Imagine all the people ... living life in peace.&quot;

JA: Yet another afterthought, just by way of a light exercise
    to illustrate the kinds of scaling issues that arise with
    regard to zeroth order theories as we try to amble across
    the spectra from abstract logical principles to realistic
    computational practice, you might consider the following
    cactoid calculus constraint that expresses the partition
    of the relevant universe of discourse into an even dozen
    categorie