is mentioned

In prior sections: mb declaration mb record

Try larger context: GenAutomata