Imagine a drunkard walking randomly in an idealized city. The city is effectively infinite and arranged in a square grid, and at every intersection, the drunkard chooses one of the four possible routes (including the one he came from) with equal probability. Will the drunkard ever get back to his home from the bar? It turns out that he will.
