2 problems

Gateva-Ivanova's strong conjecture. If $X$ is a squarefree cycle set with $|X|>1$, then $X$ is retractable.

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