extinguished

not defined yet