Added pseudocode for the current forward message passing