A. N. Prior On Propositions Neither Necessary Nor Impossible. 105-108 1953 18 J. Symb. Log. 2 db/journals/jsyml/jsyml18.html#Prior53