 4 says of necessities what 5 says about possibilities: necessity is not a matter of happenstance; the necessary truths of our world are necessary in every world. B says that anything that is in fact the case had to have been possible; the truths in our world are, at the least, possibilities in every other world.