John Harrison writes, > but try to do it in a way that when we (or others) move on to > non-β-methods any properties that are not specific to β-methods are defined > in a way that doesn't prevent them being interpreted in the context of > non-β-methods Yes, I'd agree with that. Happy new year all... MBD