nonvolatileness
not defined yet