Implication Details

Assumptions: directed limits

Conclusions: sequential limits

Reason: This is trivial.