tax basis subgroup of basis, 2 assertions