nondistributive

not defined yet