Both max_min and max_product are defined
Revert "Both max_min and max_product are defined"

This reverts commit a7bd8a725838d706c8f9edc83c2f19abb5cb6e5b.
Revert "Revert "Both max_min and max_product are defined""

This reverts commit ee875a87fe6c2d40065f22213149890419487c25.
changing to composition