Re: The class Ix

[David Bruce]

RFC-822-HEADERS:
Original-Via: uk.ac.ucl.cs.ess; Fri, 7 Feb 92 09:55:08 GMT

==================
I am not sure what the two versions of the first law imply. I would, however,
note that the two conditions are incomparable (ie. neither implies the other).

Perhaps someone can explain?

        David Bruce

PS. In Simon's posting there is a typo: range should deliver [a], not a.