is mentioned

In prior sections: core mb list 1 prog 1 mb record

Try larger context: GenAutomata