contradicts

not defined yet