i>
</ul>
<!--X-Head-of-Message-End-->
<!--X-Head-Body-Sep-Begin-->
<hr>
<!--X-Head-Body-Sep-End-->
<!--X-Body-of-Message-->
<PRE>

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

DLOG.  Note A3

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Last time we computed what will variously be called
the &quot;difference map&quot;, the &quot;difference proposition&quot;,
or the &quot;local proposition&quot; Df_p for the proposition
f(x, y) = xy at the point p where x = 1 and y = 1.

In the universe U = X