 Theodore Sider proposes a different solution to the nesting problem (Sider 2002). According to his proposal, we should not regard different non-actual possible worlds as achieving their representation more or less independently of one another. Instead, we should regard all possible worlds as representations which are given all at once in concert with one another so that cross references to non-actual possible objects by different possible worlds are guaranteed from the outset.