contradict

not defined yet