Routing Needs a Framework for Reasoning 


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



Properties: describe behavior
Rules: reason about whether a certain property holds