1975a, "On second-order logic," "Journal of Philosophy 72": 509-527.