On Wed, 30 Aug 2006, Page, Bill wrote: | But I supposed Gaby would claim that these are still more | "vague allusions to co-inductive formalism" ;) Oh well... I hope we would make progress with scientific skepticism :-) -- Gaby