Cancellativity conjecture. The monoid S(X,r)S(X,r)S(X,r) is cancellative if and only if rrr is involutive.