unchangefulness
not defined yet