nonterminability

not defined yet