contradictions

not defined yet