  Many modern network designs incorporate "failover" paths into routers'
forwarding tables. We initiate the theoretical study of the conditions under
which such resilient routing tables can guarantee delivery of packets.
