"because a grammar is a class, and ~~ class does isa" . . . .