On the S5 axiom system of modal logic, all possible worlds are connected, so if S is metaphysically ...