nongerminating

not defined yet