hard pretzel subgroup of pretzel, 1 assertions