How I read it, the deal could have been something like $5k (+$2k) for the trade-in car and $10k in cash. Later there is a $4k used EV tax rebate.
In this situation the cost works out to something like
5k + 10k - 4k = 11k