nonterminating

not defined yet