Causal embedding, realized routes, and robustness

The distinction in (eq:physical) is the central VII-J certificate CheungVIIJ (:physical). A physically possible path with no installed wire shows that the second inclusion need not be equality.