James Dennett wrote: ... > It may well be necessary; if it is, the behaviour must be defined > so that it _works_. > > -- James I thought that is the case? Maybe it should be stated (more?) explicitly though.