total sum subgroup of sum, 5 assertions