nonterminatively

not defined yet