fix hints cannot contradict