File:Doob runs.png