Round-six lemma `eB_runs`