Sorry, but I had missed the last page (wine bottle label) of his letter. 1. His results also show that Unconstrained logic deprogramming a is regressively nonproductive and self satisfied. 2. He intended to submit this aper to LICS, but missed the deadline. 3. I was informed by Diaconescu that most of his results are in fact folklore. Every Roumanian child knows about the undertopos. -- Jean ==============================================================================