It is well-known in percolation theory (and intuitively plausible) that two
events of the form "there is an open path from s to a" are positively corr
elated. We prove the (not intuitively obvious) fact that this is still true
if we condition on an event of the form "there is no open path from s to t
.".