The article explores how adding the concept of "successor" to a logical framework affects the separation and covering of word languages. By enriching a logic with the successor relation, the researchers found that separation for the new logic can be reduced to separation for the original logic. This transfer result applies to both finite and infinite word languages, providing insights into how different logical formalisms interact and impact language containment and disjointness.