 So SQML yields not only possibilism (given BF and  (2)  and its ilk) but necessitism, that is, the thesis that everything there is and, indeed, everything there ever could be, is a necessary  being;[46]—you,  me, the Eiffel Tower, Bergoglio’s possible children, merely possible members of exotic species that never in fact evolved, merely possible suns that never formed, etc. Otherwise put: everything there could possibly be already is and, moreover, could not have failed to be.