adjusted basis subgroup of basis, 1 assertions