is mentioned
In prior sections: list 1 mb list 1 mb events mb state machine mb list 2 mb hybrid mb automata 1 mb automata 2 mb automata 3
bs ; a.as' [a / (as' @ bs)] (recursive)