is mentioned

In prior sections: core well fnd

Try larger context: GenAutomata