is mentioned
In prior sections: core fun 1 int 2 mb collection mb nat num thy 1 mb list 1 mb state machine mb list 2 mb hybrid mb automata 2 mb automata 3 mb automata 4