Indeed, it works as long as the class of labels forms a set instead of a proper class.