for all productions such that is non-zero. Then
The new factor in the updated forward probability accounts for the sum of all path probabilities linking Z to Y. For Z = Y this covers the case of a single step of prediction; always, since is defined as a reflexive closure.