plain bagel subgroup of bagel, 1 assertions