nonassumptive
not defined yet