contrapone

not defined yet