Symbol: disjoint_members