I don't quite understand how full IBGP Synchronization is supposed to fix the problem of the IGP not knowing of the Internet routes. In other words, if there are routers in between IBGP routers that are running, say OSPF, and one of the IBGP routers ...