Similar to:
Decomposition of max