Routing Logic Properties Does it advertise invalid routes? Does every valid path have a corresponding route? Given a set of choices, will it converge to a unique, stable answer? Is that answer affected by the ordering of messages or the set of available routes? Does the protocol "leak" information?