nonvolatiness

not defined yet