Round-six lemma `miL`