1 problem

Freeness conjecture. If $b[?mG_{\mathcal{A}}b[0m$ is a free semigroup and $b[?m\Lambda_{\mathcal{A}}b[0m$ is non-empty and not a singleton, then