baby rib subgroup of rib, 2 assertions