 In the first place, this liberalization meant the accommodation of universally quantified statements and the return, as it were, to salient aspects of Carnap’s 1928 conception. Everybody had noted that Wittgenstein’s criterion rendered universally quantified statements meaningless. Schlick (1931) thus followed Wittgenstein’s own suggestion to treat “hypotheses” instead as representing rules for the formation of verifiable singular statements. (His abandonment of conclusive verifiability is indicated only in Schlick 1936a.) By contrast, Hahn (1933, drawn from lectures in 1932) pointed out that hypotheses should be counted as properly meaningful as well and that the criterion be weakened to allow for less than conclusive verifiability. But other elements played into this liberalization as well. One that began to do so soon was the recognition of the problem of the irreducibility of disposition terms to observation terms (more on this presently). A third element was that disagreement arose as to whether the in-principle verifiability or support turned on what was merely logically possible or on what was nomologically possible, as a matter of physical law etc. A fourth element, finally, was that differences emerged as to whether the criterion of significance was to apply to all languages or whether it was to apply primarily to constructed, formal languages. Schlick retained the focus on logical possibility and natural languages throughout, but Carnap had firmly settled his focus on nomological possibility and constructed languages by the mid-thirties. Concerned with natural language, Schlick (1932, 1936a) deemed all statements meaningful for which it was logically possible to conceive of a procedure of verification; concerned with constructed languages only, Carnap (1936–37) deemed meaningful only statements for whom it was nomologically possible to conceive of a procedure of confirmation of disconfirmation.