unchangeability
not defined yet