This is getting unwieldy, so we change Loc_n and simplify. Now, Loc_n is just a distribution over “counterfactual insertion functions”, i.e. functions that produce coutnerfactual worldstates from counterfactual input blobs. A single such function would be denoted GAMMA, of type / in set UPPERGAMMA_n (again, n is the size of the blob being dealt with).
rotatingpaguro comments on [missing post]