Round-six lemma `slUp_runs`