nonprolifiness

not defined yet