dense hedge subgroup of hedge, 1 assertions