Spread in a network with faulty connections.
Path from \(v_2\) to \(v_E\): \((v_2,v_5,v_6,v_8,v_E)\)
A vertex will be visited iff there is a path to it from the initial Discovered vertex.
Undiscovered ~ Susceptible
Discovered ~ Infectious
Visited ~ Removed
For any \(X\), and any \(v\), \theta(p,v, X) is non-decreasing in \(p\).