Dear Carl and Howard, I was just wondering what kind of linguistic motivation there is for banning vacuous abstraction, if there is in fact any. Isn't a lambda term with vacuous abstraction just another kind of constant function? Ash