Round-six lemma `sel_step`