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.
