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
