Damit nicht gleichzeitig mehrere Karas in einem Block Kleeblätter ersetzen, sind alle Zustände, in denen ein Kara auf einem Kleeblätter steht, als Critical Section geschützt.

Zuerst suchen die Karas nach einem Kleeblatt gesucht (Zustand "suche"). Wenn ein Kara eines gefunden hat und davor steht, beansprucht er die Critical Section, um das Feld mit dem Blatt zu betreten. Dann begibt er sich an den Anfang der Kleeblatt-Reihe (Zustand "an's Ende"). Von dort aus ersetzt er die Kleeblätter durch die eigenen (Zustand "ersetze"). Anschliessend verlässt er den Kleeblatt-Block und gibt die Critical Section wieder frei.