straw hat subgroup of hat, 5 assertions