new boat subgroup of boat, 20 assertions