Property:Risk measures exist (RiskMeasuresExist)