Contradictions auto-fill works correctly