Sign of contradiction