A teljesség kedvéért S előállítása B, M, T alapján (felhasználva a már előállított R-t és C-t is):

W:=C(BMR), ui C(BMR)ab=BMRba=M(Rb)a=Rb(Rb)a=Rbab=abb
H:=BW(BC), ui BW(BC)abc=W(BCa)bc=BCabbc=abcb
S:=BC(BH(BB)), ui BC(BH(BB))abc=C(BH(BB)a)bc=BH(BB)acb=H(BBa)cb=BBacbc=ac(bc)