-- ECHOACPROOF


Derivation of

quiet{a}^waiting{}^mailbox[]^uninformed{b,c}^pending{}^terminated{}^accepted{}

Rewriting (38 steps) the preceding tree leads to the term

waiting{}^mailbox[]^terminated{a}^uninformed{}^accepted{b,c}^quiet{}^pending{}