nonmutability

not defined yet