contradiction

not defined yet