Contradiction and Consistency