Pa ok, x smo analizirali, uz sve definicije i aksiome zakljicili smo da je x kriv. Tek sada slijedi analiza za y. Na prvi pogled, onako ovlas, prema svim uslovima i cinnjenicama vezamim za y, vidi se da y ima vise elemenata za proglasenje krivim, a sta ce se jos tek desiti i otkiriti tokom analize vidjecemo ;)