>The interminable back-and-forth argument about Boolean algebras/Boolean >rings/isomorphism is a case in point (but far from the only one). Indeed. My apologies for my role in this, in retrospect I should have let this sleeping dog lie. Vaughan Pratt