In this paper I argue that it is not a priori that all the laws of nature are contingent. I assume that the fundamental laws are contingent and show that some non-trivial, a posteriori, non-basic laws may nonetheless be necessary in the sense of having no counterinstances in any possible world. I consider a law LS (such as 'salt dissolves in water') that concerns a substance S. Kripke's arguments concerning constitution show that the existence of S requires that a certain (...) deeper level law or variants thereof hold. At the same time, that law and its variants may each entail the truth of LS. Thus the existence of S entails LS. Consequently there is no world in which S exists and fails to obey LS. I consider the conditions concerning the fundamental laws that would make this phenomenon ubiquitous. I conclude with some consequences for metaphysics. (shrink)