for I being set
for b being bag of I holds Sum <*b*> = b