working set subgroup of set, 1 assertions