Round-six lemma `star_spec`