Contradictions (A and not-A)