regular waffle subgroup of waffle, 1 assertions