Model a Certain Message Ordering

Step 1: Egress routers compute best routes.
Outcome: Each egress router has a route to the destination.

Step 2: Egress routers propagate these routes to other routers within the AS.
Outcome: Each router in the AS selects a egress router.