  (2) A second option is to say that, instead of indexing things, one indexes properties: “\(a\) is red at \(t\)” is rendered as “\(a\) is red-at-\(t\)”. This option does not seem to have had any defenders, perhaps because those properties which are universals are supposed to be wholly in each of their instances, which the indexing apparently denies.