I wrote: << this axiom looks logically equivalent to it.

...

because there is, I think, a short chain of reasoning showing the equivalence of the two statements. But any two true statements are logically equivalent. Can "logically equivalent" be defined so it's not a trivial statement? --Dan _____________________________________________________________________ "It don't mean a thing if it ain't got that certain je ne sais quoi." --Peter Schickele