nonmutinousness
not defined yet