semicontradiction

not defined yet