 Running-maximum state reduction in the Cox--Ross--Rubinstein model

For a payoff $h(S_T,M_T)$ with $M_t={\max }_{s\le t}{S}_s$, the pair $(S_t,M_t)$ is a sufficient Markov state for valuation. If an independent restarted stock path has initial value $y$, terminal value $z$, and running maximum $w$, then the continued payoff is