contraversion
not defined yet