Routing Needs a Framework for Reasoning 


Protocol designers and network operators need a way 
to describe and reason about protocol behavior.