 will all of us have our revenge --
but all in good time.

&gt; &gt; I would have to say that this propositional expression,
&gt; &gt; say, "e", denotes a function e : X -&gt; B, with the type
&gt; &gt; of e being left indefinite for the present moment, not
&gt; &gt; yet run time, nor even compile time, but only IOU time.
&gt; &gt; This semes to suggest that the type of the proposition,
&gt; &gt; to be e-nunciate, is a co-notation that e-fects itself
&gt; &gt; not in the mediate but only in the ultimate den