unterminableness

not defined yet