nonprolongation

not defined yet