Searching for contradictions