@full-measure: diversification