is not mentioned in this or prior sections.

Try larger context: GenAutomata