Torsion–almost-divisibility conjecture. The semigroup S(+)S(+)S(+) is torsion if and only if S(+)S(+)S(+) is almost-divisible.