It is useless to complain about insult from Nudds and Friesel and Mason. They prefer flame wars to discussions of fact, as you can see from the answers to your last post. -- John McCarthy, Computer Science Department, Stanford, CA 94305 http://www-formal.stanford.edu/jmc/progress/ During the last years of the Second Millenium, the Earthmen complained a lot.