[overhead4075]

I explain "X equals X plus one" as though each variable has an implicit version that increases whenever it's written to or as time goes on, but we can only access the lastest version.

For example

    X = X + X

is really

    Xv2 = Xv1 + Xv1