Limitations. Snowcap guarantees that all properties are satisfied
when the network has converged. However, it cannot always guar-
antee that during convergence as transient anomalies (like forward-
ing loops and blackholes) are inherently part of the convergence
process of distributed protocols and thus outside of Snowcap’s con-
trol.
