Yes, they traded in USD. But they did not use the Fed's accounting systems to do so.
Similarly, if I send you 1000SAT through the lightning network, I am trading in bitcoin, but not using the bitcoin blockchain to do so.
Sure, Lightning relies on guarantees offered by the bitcoin blockchain to promise payment security. But it's not the same thing, and the Lightning network could become compromised even if the bitcoin blockchain remain secure For example, if Lightning accidentally started adding an extra 0 to transactions, if I send you 100 SAT over the LN you could see that you are receiving 1000 SAT and send me some products. Later, when the channel is closed, the bitcoin blockchain would refuse the final transfer, but it may be too late.