That comes from the corresponding federal Car & Truck Wks, line 77. And that comes from your input to the federal Step-by-Step field for Total cash and/or loan amount paid with the trade-in. That's after you indicated Yes, this vehicle was part of a trade-in.