contraponend

not defined yet