Persze még sok mást is lehetne, pl. T elem legyen olyan, hogy minden x,y-ra: Txy = yx; erre egy lehetőség a CI, ugyanis CIxy = Iyx = yx

Valamint S legyen olyan tulajdonságú, hogy Sxyz = xz(yz)
Ekkor (SLL)x = Lx(Lx), tehát SLL is θ-tulajdonságú, vagyis találhatunk vele tetszőleges elemhez fixpontot.

Ez a S azért is jó, mert felhasználva őt és két korábbi elemet egyfajta szimmetriát láthatunk az alábbi esetekben:
Babx = a(bx)
Cabx = axb = (ax)b
Sabx = ax(bx) = (ax)(bx)