Lennart Augustsson wrote: > I've never thought of one being shorthand for the other, really. > Since they are logically equivalent (in my interpretation) I don't > really care which one we regard as more primitive. True. See my response to Iavor's recent email. Martin