Round-six lemma `good_of`