Self-Contradictory Formulas

In reading 40, two formulas are given:

Equation (7)


Equation (8)


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