 We have just noted that there could be analytically reductionist or de facto reductionist accounts of substance in terms of properties. It is also the case that the properties might be conceived of as universals, or as individuals—that is, property-instances, which are sometimes called ‘tropes’. There are, therefore, four options for the bundle theorist.