You are given a list of label groups and a list of required labels. Each group is a list of strings. A group is considered valid if it contains every label in the required list. Return all distinct labels that appear in at least one valid group but are not in the required list. The output can be in any order.

---

...