Of course, each time the number of grammar categories is doubled, the number of binary productions is increased by a factor of eight.
while our final grammars used few categories, the number of total active (non-zero) productions was still substantial (see Section 7).