Example: Validity


Problem: Persistent forwarding loops due to interactions
between iBGP and IGP