contrawise
not defined yet