unchangingness
not defined yet