Figure 2.
Recursive expansion of the three point case, starting with the final time point (see pseudocode in Figure 1) and executing along successive diagonals. Diag(x) represents the values in x's diagonal, shown by the dashed-boxes. The last diagonal is translated to the a trajectory by sign.