====== Successor ======

A successor edge is...