W. V. Quine On Formulas with Valid Cases. 148 1956 21 J. Symb. Log. 2 db/journals/jsyml/jsyml21.html#Quine56