John Bacon Substance and First-Order Quantification Over Individual-Concepts. 193-203 1980 45 J. Symb. Log. 2 db/journals/jsyml/jsyml45.html#Bacon80