new division subgroup of division, 3 assertions