Arturo, >> Even then, I would not trust it until I see a proof and an implementation. >Although I am 100% sure that there is more work to be >done in this regard, both formally and in implementation. Please ignore my previous comments on the need for a formal proof. You appear to understand its necissity. g