hot tub subgroup of bath, 2 assertions