minoration

not defined yet