 Kọ àyọkà kúkúrú nípa àkòrí tó wà nísàlẹ yìí:  Ẹni X parí kíka gbogbo àwọn Xs : Dájúdájú, ìpínrọ kúkúrú kan rèé: Kyrell parí kíka gbogbo àwọn àmì X. Ó ti ka iye àwọn àmì X tó jẹ mẹrìndínlógójì. Inú Kyrell máa ń dùn sí iṣẹ rẹ. 