Then he knows this: the pattern of variation of the refractive index along some path from A to is part of the causal history of the light's passing through, and the pattern is such that it, together with a pattern of variation elsewhere that is not part of the causal history, makes the path from A to be part of a path of least time from A to.