exchangeability

not defined yet