Then
Note that is not used.
Rationale. To update the old forward/inner probabilities and to and , respectively, the probabilities of all paths expanding have to be factored in. These are exactly the paths summarized by the inner probability .