nonprolixity

not defined yet