“…Indeed, it is shown in [5] that if X is the subshift defined by a weakly primitive substitution ϕ which is group invertible, then G(X ) is a free profinite group. The weakly primitive substitution ϕ(a) = ab, ϕ(b) = cda, ϕ(c) = cd, ϕ(d) = abc is group invertible, but the minimal subshift defined by X is a subshift that fails the tree condition [13,Example 3.4].…”