slouch hat subgroup of hat, 3 assertions