Abstract
By quantifying over properties we cannot create new properties any more than by quantifying over individuals we can create new individuals. Someone murdered Jones, and the murderer is either Smith or Jones or Wang. That “someone,” who murdered Jones, is not a person in addition to Smith, Jones, and Wang, and it would be absurd to posit a disjunctive person, Smith‐or‐Jones‐or‐Wang, with whom to identify the murderer. The same goes for second‐order properties and their realizers. (Kim 1997a, 201)