Round-six lemma `swpU_runs`