hard hat subgroup of hat, 2 assertions