Assumptions: kernels
Conclusions: zero morphisms
Reason: This is part of our definition of having kernels.