Nyora ndima pfupi yenyaya iri pamusoro penyaya inotevera:  MunhuX anobvunza munhuY's logic
Chokwadi, heino ndima pfupi: Gigi anopokana nepfungwa dzaTami. "Kana a = b uye b = c ipapo a = c, asi kana d = e izvozvo hazvirevi kuti a = e", anodaro. Tami anoshamiswa kuti Gigi anozviziva izvi uye anodzidzawo kufunga zvakanaka.