the world auction record for cars
... that the world auction record for cars was set last month by a 1957 Ferrari 250 Testa Rossa at $16.4 million?
... that <b id="mwCgU"><a class="mw-redirect" href="./Most_expensive_cars_sold_in_auction" id="mwCgY" rel="mw:WikiLink" title="Most expensive cars sold in auction">the world auction record for cars</a></b> was set last month by a 1957 <a href="./Ferrari" id="mwCgc" rel="mw:WikiLink" title="Ferrari">Ferrari</a> <a class="mw-redirect" href="./Ferrari_TR" id="mwCgg" rel="mw:WikiLink" title="Ferrari TR">250 Testa Rossa</a> at <span about="#mwt36" class="nowrap" data-mw='{"parts":[{"template":{"target":{"wt":"nowrap","href":"./Template:Nowrap"},"params":{"1":{"wt":"$16.4 million"}},"i":0}}]}' id="mwCgk" typeof="mw:Transclusion">$16.4 million</span>?