Figure 5:
Bidirectional search.