Zoom-in: A formal backbone model for the vProg computation DAG

[michaelsutton]

@hashdag

Why did x_{t-2} enter the past of p?

Edited to clarify the point.