But they aren't doing domestic-denominated derivatives, are they? They're net short dollars, which they must presumably settle at some future date, no? Or are these options merely side bets settled in Reals rather than dollars?

- Jake

Friends come and go. Enemies accumulate.