Még nem bizonyítottuk, hogy az S és K elemekből minden képlettel leírható elem felépíthető [képlet alatt a Hxyz=xyzy vagy Lxy=x(My) -szerű formulát értve], de van egy olyan elem, amiből meg S és K állítható elő, de ennek az elemnek nincs olyan képlete, amiben ne lenne literál.

Legyen Y olyan, hogy Yx=xSK (ilyen például az Y=VSK, mivel xSK=VSKx)
Ekkor
Y₂=YY=YSK=SSKK=SK(KK)
Y₃=YY₂=SK(KK)SK=KS(KKS)K=SK
Y₄=YY₃=SKSK=KK(SK)=K
Y₅=YY₄=KSK=S

És ha van S meg K, akkor
I:=SKK ugyanis SKKx=Kx(Kx)=x
M:=SII, ui SIIx=Ix(Ix)=xx
W:=SS(KI), ui SS(KI)xy=Sx(KIx)y=SxIy=xyy
B:=S(KS)K, ui S(KS)Kxyz=KSx(Kx)yz=S(Kx)yz=Kxz(yz)=x(yz)
T:=S(K(SI))K, ui S(K(SI))Kxy=K(SI)x(Kx)y=SI(Kx)y=Iy(Kxy)=yx

és ebből
R:=BBT, ui BBTxyz=B(Tx)yz=Tx(yz)=yzx
C:=RRR, ui RRRxyz=RxRyz=Ryxz=xzy