The Computational Theory of the Laws of Nature entails that the accessibility relation for nomological necessity is not symmetric or transitive. This means that nomologically possible worlds need not share our world's laws. This subverts a standard style of argument against Humean Supervenience.