[PPT] - A Formalised Lower Bound on Undirected Graph Reachability Ulrich PowerPoint Presentation