Harvey, The proof checker has been used only in the portion of the work in progress that has been completed. >Ed - you indicated earlier that the "proof" was checked in a proof >verifier. The outline was only a plan for future work, and Tao and Tausk pointed out an error in that plan. Cheers, Ed