On Mon, Feb 24, 2003 at 10:55:37PM +0100, Lars Marius Garshol wrote: > > * Robert Barta > | > | [about tau algebra] > | > | This will have to be aligned with SAM at some stage. > > Oh, yes. Please! :-) Uhm, well, this is painstakingly slow work. Half a page of axioms took me a week. And I have this other job ... ;-) \rho