nontermination

not defined yet