Round-six lemma `swWUP_spec`