If we run DFS on a directed graph G $($not necessarily acyclic$)$ starting at node s$,$ which is in a source component of G$,$ then s will have the highest post label.