 Kọ àyọkà kúkúrú nípa àkòrí tó wà nísàlẹ yìí:  Ẹni X ra ọkọ eré ìdárayá fún Ẹni Y : Dájúdájú, ìpínrọ kúkúrú kan rèé: Shamir ra ọkọ ayọkẹlẹ eré ìdárayá kan fún Taveon nítorí ó fẹ fi hàn án pé òun lè gbọ bùkátà rẹ kó sì mú kó láyọ. Ó wá lọ ra ọkọ ayọkẹlẹ tó mọyán lórí tó sì fani mọra, torí ó rò pé á mú kí ìyàwó òun rẹrìn-ín músẹ. Àmọ, ó bani nínú jẹ pé kì í ṣe ọkọ ayọkẹlẹ náà ló wù ú, inú sì bí i. 