Round-six lemma `cpl_body`