I'd prefer to require these be empty sets.