What the model assumes, and what the evidence actually says.

Exchange, Composite and Nasdaq-100 are different objects.

The contract, the basis and why Graham uses a return rather than a level.

The market-microstructure evidence for futures leading cash price discovery.

An intraday lead is not proof of closing-level predictability.