omnisufficiency
not defined yet