The new PG seems to colour the word "prems" red wherever it occurs. I think this is overdoing it a bit: prems is just a name and doesn't belong to a syntactic category (correct me if I'm wrong). Users might introduce this name and rightfully use it. Clemens