Lo stato di Kara chiamato "Patrol" mantiene la seguente invariante: Dopo ogni transizione, esiste un albero sulla destra di Kara, o c'č un albero sulla destra vicino Kara. Se c'č un albero di fronte ed un albero sulla destra, Kara deve stare attenta: puņ solo girare a sinistra e non puņ fare un' altro passo avanti, perchč non puņ essere sicura che non esiste albero alla sua sinistra.