nonmutuality

not defined yet