RE: The Set type