Assumptions: finite-product-preserving
Conclusions: terminal-object-preserving
Reason: This is trivial.