https://123dok.net/document/yr31m168-on-sets-of-indefinitely-desubstitutable-words.html