new set subgroup of set, 24 assertions