pproperly labeled a few grammars