Note that I use
symbols for the frame indices. This is to distinguish them from another set of frame indices that will appear below. The frame indices introduced here run from 0 to 3; those to be introduced later will run from 1 to 3.