contradictions and proofs