Re: Red and blue (again)

>
> should be equivalent. So it would be unfortunate if *there* 
> axiomatizations were

*their* :-)


-- 
Prof. David J. Pym                Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation  Facsimile: +44 (0)1 225 38 3493
University of Bath                Email: [email protected]
Bath BA2 7AY, England, U.K.       Web: http://www.bath.ac.uk/~cssdjp 

Royal Society Industry Fellow, HP Labs, Bristol: [email protected] 

--
This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed.