Formal proof for slime-molds finding shortest paths in maze.