nondisjunctively

not defined yet