Humean Laws and (Nested) Counterfactuals | Synapse