is mentioned by

Def (L -msg(a;b) L1) == filter(a.reduce(b,y. msg(a;b)y;true;L1);L)

[remove_msgs]

In prior sections: bool 1 sqequal 1 prog 1 mb basic mb list 2 list 1 union mb tree mb automata 1

Try larger context: GenAutomata