On certain formal properties of grammars — On certain formal properties of grammars — the latest coverage, the community and the facts.