Adding exchangeability results.