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 
.
