Round-six lemma `leaf_sound`