nonmutative

not defined yet