Dear Russell:

To condense the idea the UD is generating the collection of strings by the 
only path it has so the proof is automatically elegant.

It is also extremely complex.

Hal

Reply via email to