Self-Contradictory Formulas

In reading 40, two formulas are given:

Equation (7)

F0(T)=QF0(T)CF(T)=FV0,T[S0−PVCI0,T]=FV0,T[B0(T+Y)+AI0−PVCI0,T]

https://drive.google.com/open?id=1WjArM6iP5FPf5GpdO_xDcC3kBY6hExZn

Equation (8)

QF0(T)=[1/CF(T)]{FV0,T[B0(T+Y)+AI0]−AIT−FVCI0,T}

https://drive.google.com/open?id=1uCCuHDJH8tf0d0Io_ASglt8lwishdmQP

However, some quick algebra operation will reveal the two formulas are different. There is an extra AI(T) in equation (8). Anyone knows which formula to use?

Equation 8 subtracts the accrued interest that comes at the end.

“For clarity, substituting for F0(T) and S0 and solving for the quoted futures price, we have” equation 8.

That’s true. But if you look closely, these two equations are identical except equation 8 has an extra AI(T) term which is NOT in equation 7

I believe the difference might be FV0,T[PVCI0,T] = −AIT−FVCI0,T