Assumptions: distributive
Conclusions: finite coproducts, finite products
Reason: This holds by definition.