contradicted

not defined yet