Dear Russell:

As simple as I can get the idea:

The UD [a simple FAS] - uses an incredibly complex proof [known by the UD 
it to be elegant and incredibly complex] - to exhibit "all theorems" [an 
object of extremely low complexity].

This does not work.

Hal

Reply via email to