contrariant
not defined yet