BTW, all these CFTC officials now work for the LedgerX derivatives exchange: (shared with permission from @geke)