We show that a.s. all of the connected components of the Wired Spanning Forest are recurrent, proving a conjecture of Benjamini,
Lyons, Peres and Schramm. Our analysis relies on a simple martingale involving the effective conductance between the endpoints
of an edge in a uniform spanning tree. We believe that this martingale is of independent interest and will find further applications
in the study of uniform spanning trees and forests.
Received: 20 April 2001 / Revised version: 23 July 2002 / Published online: 14 November