Define , the set of all grammars with . This is countable.