is mentioned
In prior sections: mb list 2 mb automata 3 list 1 mb list 1 mb label mb hybrid mb automata 2
k ; a.as' f(a,reduce(f;k;as')) (recursive)