He’s right of course , but if you short US bonds and you “win” what do you get paid in? Do you get paid or do the exchanges go out of business?