large hail subgroup of hail, 2 assertions