nonconsumptively

not defined yet