unmutative

not defined yet