 Premises 4 and 6 also look uncontroversial. \(N\) necessity isn’t logical or metaphysical necessity. We can insist that the laws and the distant past could, in the broadly logical sense, have been different, so neither \(\Box H\) nor \(\Box L\) are true. But it still seems undeniably true that we have no choice about whether the laws and the distant past are the way they are; there is nothing that we are able to do that would make it the case that either the laws or the distant past are different from the way they actually are.