violates [ WFC: Unique Att Spec ]