Let F be an endofunctor on a category C that has finite products. A strength of F is a natural transformation phi(A,B) : FA x B -> F(A x B) satisfying the obvious coherence conditions with respect to the terminal object and associativity of products. Is anything known about uniqueness of such strengths, if C is not well-pointed? +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++