nonextinguished

not defined yet