oversufficiency
not defined yet