contradictory check