Example: Validity


One necessary, commonly violated condition: 
                        next-hop reachability


Routes from AS 1 have next-hop e.f.g.h
If e.f.g.h not injected into IGP, some routes from within AS will fail.