half bath subgroup of bath, 4 assertions