So if hypothetically Gox was the only buyer for bitcoins trapped in Gox, would they be buying them with real USD, or with 'trapped in Gox' USD that may or may not turn out to have any value?