is mentioned

In prior sections: core mb automata 4 bool 1 mb structures mb automata 1