> Kezdetnek vezessük be az L elemet, amelyre Lxy=x(yy). A reményünk az, hogy ez segít a fixpont megtalálásában.

Ugyanis Lx(Lx) = x(Lx(Lx)), tehát Lx(Lx) fixpontja x-nek. Vezessük is be a θ_x=Lx(Lx) jelölést.

Most jönne a következő lépés: olyan speciális θ elem kellene, hogy θ_x-et egyetlen szorzással meghatározhassuk: θ_x = θx

Legyen például egy B elem, melyre Bxyz = x(yz). Ennek vannak érdekes változatai, például BB, B(BB), BBB: ezek is mind csinálnak valami érdekeset.