Describir: Exchangeability and semigroups