cowboy hat subgroup of hat, 7 assertions