conical hat subgroup of hat, 1 assertions