Seymour's second neighborhood conjecture.

The kst outneighborhood of a vertex x is the set of vertices at directed distance k of x.