  However, it is far from clear that such possibilities exhaust the  modal intuition that other things could have existed. Notably,  intuitively, there could have been different simple  universals distinct from any that actually exist — different  fundamental properties of simples, for example. Likewise for simple  objects. Either way, there seems to be nothing in the idea of a  simple object or simple universal that suggests there couldn't have  been simples other than, or in addition to, the simples there are in  fact. But AW3′ does not allow for this; the simples of  every possible world are a subset of the actual simples and there is  no obvious way of modifying the principle to accommodate the  intuition. Nor is there any obvious way of modifying the principle to accommodate the intuition in   question.[59] 