Where should we be?


   Better: Control-flow model.

Does every IGP hop along the path to the BGP next hop agree on a next-hop?
       (Hamiltonian cycles...)