floating floor subgroup of floor, 3 assertions