brimmed hat subgroup of hat, 1 assertions