unchangedness
not defined yet