 One is lead to wonder whether Carnap would not be well advised to return to his 1956 position. This allowed for a criterion of empirical significance for theoretical terms but not for the analytic/synthetic distinction to be sustained with regard to the theoretical language. According to Carnap’s fall-back position before he hit upon ramseyfication, it was thought possible to distinguish narrow logical truth from factual truth in the theoretical language (1966, Ch. 28). Yet it is difficult to silence the suspicion that an analytic/synthetic distinction that applies only to observational languages—and admits inescapable semantical holism for theoretical languages—is not what the debate between Carnap and Quine was all about. Attempts have thus been undertaken to provide interpretations of Carnap’s ramseyfications that contain or mitigate the effects of the Newman objection (Friedman 2008, 2011, Uebel 2011b, Creath 2012). What has become clear, in any case, is that much is at stake for Carnap’s formal explicationism, indeed for the standard logical empiricist model of scientific theories (see below).