nonmutableness

not defined yet