detecting contradictions