proving the contradictions Synonym