Implication Details

Assumptions: coequalizers, semi-strongly connected

Conclusions: filtered

Reason: This is obvious.