Doi arbori cu radacina sunt identici daca radacinile celor doi au acelasi numar de subarbori si acestia sunt identici (mai exact, pentru orice $i=1, 2, ..., n$ subarborele $i$ al primului este identic cu subarborele $i$ al celui de-al doilea).
O termita poate "ciopli" un arbore actionand astfel:

1) termita porneste de la radacina arborelui;
2) la fiecare moment (in orice nod s-ar afla), termita poate face una dintre urmatoarele operatii:

# termita porneste de la radacina arborelui;
# la fiecare moment (in orice nod s-ar afla), termita poate face una dintre urmatoarele operatii:

* sta in nod si mananca cea mai din dreapta muchie, eliminand astfel cel mai din dreapta fiu si subarborele corespunzator (acestea cad si vor fi mancate de alte termite lenese);
* inainteaza pe muchia din dreapta, spre fiul ramas cel mai din dreapta al nodului in care se afla;