Hi Kevin: here is an example that has duplicate parts: In class dictionary notation we would write: C = Op Exp Exp. E : C. In other words, you have to check whether all names in a sequence are unique. This is the translation of the "unique parts" check for class dictionaries. Please note that (or A = B. B = C. ) DOES NOT violate the unique parts rule.