added ext-set