Let C ⊂≠  Reg be a non-empty class (of regular cardinals). Then the logic  has additional nice properties: it has the homogeneous model existence property.