https://123dok.net/document/q7w4w03o-crossability-of-cancellative-kleene-semigroups.html