walk tub subgroup of tub, 6 assertions