...which originates from Moser and Tardos’s algorithmic version of the Lovász local lemma [7]. This method has recently been applied very successfully in combinatorics on words, for instance by [5] and =-=[6]-=-. Ochem and Pinlou [9] also recently resolved a longstanding conjecture of Cassaigne using this method (this was also accomplished independently by Blanchet-Sadri and Woodhouse [1] using a different m...