Factoring out meta-grammar: t+
Factoring out meta-grammar: t+