is mentioned

In prior sections: bool 1 union mb hybrid mb automata 2