Date: Mon, 15 Mar 2004 20:31:19 -0500
Subject: [ark] Re: Can Someone Help Me Get Out Some Pesky Stains?

In alt.religion.kibology, asweinbe@midway.uchicago.edu wrote:

The moving finger of James "Kibo" Parry wrote and then moved on:
>                                                 -- K. or NK.
>
>                                                    That is the question.
>
>                                                   (Insert joke about
>                                                    mathematical logic
>                                                    in the form of a
>                                                    Shakespearean sonnet)


Shall I compare you to the prenex normal form?
Thy quantifiers more clustered, less negated
Thy better than well-form'ed sentence norm
Each variable by quantifiers predicated.

Sometime a language has too many constants
And function symbols's shine is often dimmed
Thy lineaments are graceful without pants
Unnecessary quantifiers trimmed.

Or Barbara or Celarent or Darii
Thy mood and figure bid them all farewell
Thy beauty's endless K-consistency
O, come away with me to Hilbert's Hotel!
	My proof could reach infinite lines and yet
	Your virtues remain an undenumerable set.

Plorkwort

-- 
In top center of cabbage, cut a well and insert can of canned heat. Thrust 
ends of toothpicks into surface of Flaming Cabbage Head, above curled leaves.
Before eating, hold each frankfurter over flame in cabbage to reheat.
--"Marinated Cocktail Frankfurters." The General Foods Kitchens Cookbook, 1959