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.
- The class Ix Simon L Peyton Jones
- David Bruce