These effects can (and do) occur even during normal operationof the network. While this means that Snowcap cannot guaranteegeneral reachability properties in-between updates, we prove thatit can guarantee path-based properties during convergence.