Lehetséges-e olyan A elemet találni, amelyre AR=C és AC=R? Vagy általánosan A_rcR=r és A_rcC=c (adott r és c elemekhez).
Vagy olyat, amire A_tmT=t és A_tmM=m?

Hát az univerzális megoldás egy olyan u elem lenne, melyre (uabαβ)a=α és (uabαβ)b=β. Első blikkre azt mondanám, hogy ez a halting problem-mel összehasonlítható feladata, vagyis kétlem, hogy létezne ilyen u elem.

A konkrét kérdésekre ad-hoc módszerekkel találhatunk megoldást, ehhez vezessük be a V₆ elemet: V₆abcdef = fabcde Ekkor
V₆IKIlmL = LIKIlm = I(KK)Ilm = KKIlm = Klm = l
V₆IKIlmM = MIKIlm = IIKIlm = KIlm = m

Másik példa:
V₆K(KI)(KI)rcR = RK(KI)(KI)rc = (KI)(KI)Krc = Krc = r
V₆K(KI)(KI)rcC = CK(KI)(KI)rc = K(KI)(KI)rc = KIrc = c