For theories containing word equations, we shall use notions and results from [1]} to reason about (in)expressibility of languages, such as the notion of a synchronising \(\mathfrak {F}\) -factorisation.
