 However, there is a seeming incompatibility between (F-sent) and the gap. Suppose, for reductio, that ‘S’ is a sentence that is neither true nor false. In that case, it is not the case that ‘S’ is true, and it is not the case that ‘S’ is false. But then, by (ES-sent) and (F-sent), we can infer that it is not the case that S, and it is not the case that not-S; in short: \({\sim}\)S and \({\sim}{\sim}\)S, which is a classical contradiction. Clearly, then, we must give up one of these things. But which one can we give up consistently with deflationism?