Assumptions: inhabited, zero morphisms
Conclusions: strongly connected
Reason: This holds by definition.