 Basically, there needs to be a specification of what the lawmaking relation is (the identification problem). Then, there needs to be a determination of whether it is suited to the task (the inference problem): Does N’s holding between F and G entail that Fs are Gs? Does its holding support corresponding counterfactuals? Do laws really turn out not to supervene, to be mind-independent, to be explanatory? Armstrong does say more about what his lawmaking relation is. He states in reply to van Fraassen: