Round-six lemma `take`