nonreductional
not defined yet