 Some further work was undertaken on rescuing and, again, debunking a version of the statement-based criterion, but mostly not by (former) members of the Vienna Circle. However, in response to the problem of how to formulate a meaning criterion that suitably distinguished between empirically significant and insignificant non-observational terms, Carnap proposed a new solution in 1956. We will return to discuss it separately (see section 3.5 below); for now we need only note that these proposals were highly technical and applied only to axiomatized theories in formal languages. They too, however, found not much favor amongst philosophers. Yet whatever the problems that may or may not beset them, it would seem that far more general philosophical considerations contributed to the disappearance of the problem of the criterion of cognitive significance from most philosophical discussions since the early 1960s (other than as an example of mistaken positivism). These include the increasing opposition to the distinctions between analytic and synthetic statements and observational and theoretical terms as well as a general sense of dissatisfaction with Carnap’s approach to philosophy which began to seem both too formalist in execution and too deflationary in ambition. The entire philosophical program of which the search for a precise criterion of empirical significance was a part had begun to fall out of favor (and with it technical discussions about the criterion’s latest version).