render this symposium a bit more à la carte, and thus to
serve up as faster food than heretofore a choice selection
of the more sumptuous bits that I have in my logical larder,
not yet full fare, by any means, but a sample of what might
one day approach to being an abundantly moveable feast of
ontological contents and general metaphysical delights.
I'll leave it to you to name your poison, as it were.

Applications of a Propositional Calculator:
Constraint Satisfaction Problems.
Jon Awbrey, April 24, 1995.