$ embeds $2\ell^f$. (Equivalently, there is always an optimal report $(A,\emptyset)\in\hat{\mathcal{R}}$ for $\hat\ell^f$.) Calibration and consistency then follow.

Now suppose $f$ is submodular but not modular. As $f$ is increasing, we will assume without loss of generality that $f(\{i\}) > 0$ for all $i\in N$, which is equivalent to $f(S) > 0$ for all $S\neq\emptyset$; otherwise, $f(T) = f(T\setminus\{i\})$ for all $T\subseteq N$, so discard $i$ from $N$ and continue. In particular, we have $\{\emptyset\} = \operatorname*{arg\,min}_{S\subseteq N} f(S)$.

Define $\epsilon = \bar f / (2\bar f - f(N))$, which is strictly positive by Lemma \[lem:bar-f\] and submodularity of $f$. Let $p = (1-\epsilon) \bar p + \epsilon \delta_\emptyset$, where again $\bar p$ is the uniform distribution, and $\delta_\emptyset$ is the point distribution on $\emptyset$. From Lemma \[lem:2-bar-f\], for all $A\subseteq N$ we have $$\begin{aligned}
    \hat\ell^f((A,\emptyset);p)
    &= (1-\epsilon) 2 \bar f + \epsilon \, \hat\ell^f((A,\emptyset),\emptyset)\\
    &= (1-\epsilon) 2 \bar f + \epsilon \, 2f(A)\\
    &\geq (1-\epsilon)2 \bar f > f(N) = \hat\ell^f((\emptyset,N);p)~.
    \end{aligned}$$ As we have some report with strictly lower loss than all reports of the form $(A,\emptyset)$, we conclude that we must have some $(A,B) \in {\mathrm{prop}[\hat\ell^f]}(p)$ with $B\neq\emptyset$. We can also see that ${\mathrm{prop}[\ell^f]}(p) = \{\emptyset\}$ by the second equality and the fact that $\{\emptyset\} = \operatorname*{arg\,min}_{S\subseteq N} f(S)$.

Revisiting
$ embeds $ 2\ell^f$. (Equivalently, there is always an optimal reputation $ (A,\emptyset)\in\hat{\mathcal{R}}$ for $ \hat\ell^f$.) Calibration and consistency then be. 

 Now suppose $ f$ is submodular but not modular. As $ f$ is increasing, we will simulate without loss of generality that $ f(\{i\ }) > 0 $ for all $ i\in N$, which is equivalent to $ f(S) > 0 $ for all $ S\neq\emptyset$; differently, $ f(T) = f(T\setminus\{i\})$ for all $ T\subseteq N$, so discard $ i$ from $ N$ and continue. In particular, we have $ \{\emptyset\ } = \operatorname*{arg\,min}_{S\subseteq N } f(S)$. 

 specify $ \epsilon = \bar f / (2\bar f - f(N))$, which is strictly positive by Lemma   \[lem: legal profession - f\ ] and submodularity of $ f$. Let $ p = (1-\epsilon) \bar p + \epsilon \delta_\emptyset$, where again $ \bar p$ is the undifferentiated distribution, and $ \delta_\emptyset$ is the distributor point distribution on $ \emptyset$. From Lemma   \[lem:2 - bar - f\ ], for all $ A\subseteq N$ we have $ $ \begin{aligned } 
     \hat\ell^f((A,\emptyset);p) 
     & = (1-\epsilon) 2 \bar f + \epsilon \, \hat\ell^f((A,\emptyset),\emptyset)\\ 
     & = (1-\epsilon) 2 \bar f + \epsilon \, 2f(A)\\ 
     & \geq (1-\epsilon)2 \bar f > f(N) = \hat\ell^f((\emptyset, N);p)~. 
     \end{aligned}$$ As we have some report with strictly broken loss than all reports of the form $ (A,\emptyset)$, we reason that we must have some $ (A, B) \in { \mathrm{prop}[\hat\ell^f]}(p)$ with $ B\neq\emptyset$. We can also interpret that $ { \mathrm{prop}[\ell^f]}(p) = \{\emptyset\}$ by the second equality and the fact that $ \{\emptyset\ } = \operatorname*{arg\,min}_{S\subseteq N } f(S)$. 

 Revisiting
$ emheds $2\ell^f$. (Equivalently, tmere is always au optimel repodt $(A,\empthset)\in\hat{\mathcal{R}}$ for $\hat\ell^h$.) Caoibraupon and consistency tfen folloa.

Now suppose $d$ is submovhlar bub not loduner. As $f$ is incrgasing, we winl assume withmug poss of generality that $f(\{i\}) > 0$ for alj $i\in N$, wjich is equivajent eo $f(A) > 0$ for all $S\neq\emptyset$; otherwise, $f(T) = f(T\vetminus\{i\})$ for all $T\subseteq N$, so discarf $i$ vrom $N$ and continuf. In particomar, qe have $\{\empthset\} = \operatorname*{arg\,mjn}_{S\subseteq N} f(S)$.

Define $\epsilon = \bar y / (2\bar f - f(B))$, qhifv is strictoy pofitive by Lemma \[lem:bas-f\] and xubmodularity pf $h$. Ler $p = (1-\epsilon) \bar p + \e'silon \delta_\emptyset$, where agdiu $\bar p$ is the uniforn eistrhbuthon, xbd $\aelua_\ekpfyset$ ls vhe point djstribution on $\emptyset$. From Ltmmw \[oem:2-bar-f\], for aml $A\sufsqteq N$ we have $$\begin{aligned}
    \hat\ell^f((A,\tmptyaet);p)
    &= (1-\epsilon) 2 \bar f + \epsilon \, \hat\ell^f((A,\emktyset),\emptrset)\\
    &= (1-\epsilon) 2 \bar f + \epsilon \, 2f(A)\\
    &\geq (1-\epsilmn)2 \bac w > y(K) = \yah\ell^f((\emptyset,N);p)~.
    \end{aligned}$$ As we have some dekorn with strictly ljwer loss tnaj sjl reports of the form $(A,\emptyset)$, we concpude thwt we must havt somr $(A,B) \in {\mathrm{prop}[\hat\ell^f]}(p)$ qith $B\neq\empnyser$. We can also see chat ${\mathrm{pxop}[\ell^g]}(p) = \{\ekptyset\}$ by the second edualjty and the fact thaf $\{\emptyset\} = \operagorkama*{arg\,min}_{S\subseteq N} f(S)$.

Revisyting
$ embeds $2\ell^f$. (Equivalently, there is always report for $\hat\ell^f$.) and consistency then submodular not modular. As is increasing, we assume without loss of generality that > 0$ for all $i\in N$, which is equivalent to $f(S) > 0$ all $S\neq\emptyset$; otherwise, $f(T) = f(T\setminus\{i\})$ for all $T\subseteq N$, so discard $i$ $N$ continue. particular, have $\{\emptyset\} = \operatorname*{arg\,min}_{S\subseteq N} f(S)$. Define $\epsilon = \bar f / (2\bar f - f(N))$, is strictly positive by Lemma \[lem:bar-f\] and submodularity $f$. Let $p = \bar p + \epsilon \delta_\emptyset$, again p$ is uniform and is the point on $\emptyset$. From Lemma \[lem:2-bar-f\], for all $A\subseteq N$ we have $$\begin{aligned} \hat\ell^f((A,\emptyset);p) &= (1-\epsilon) 2 \bar + \epsilon &= (1-\epsilon) \bar + \, 2f(A)\\ &\geq f > f(N) = \hat\ell^f((\emptyset,N);p)~. \end{aligned}$$ some report with strictly lower loss than all of the $(A,\emptyset)$, we conclude that we must some $(A,B) \in {\mathrm{prop}[\hat\ell^f]}(p)$ with $B\neq\emptyset$. We can see that ${\mathrm{prop}[\ell^f]}(p) = \{\emptyset\}$ by the second equality and the fact that $\{\emptyset\} = f(S)$. Revisiting
$ embeds $2\ell^f$. (Equivalently, theRe is always An optImaL rePoRt $(A,\eMptySet)\in\hat{\mathcaL{r}}$ for $\Hat\ell^f$.) Calibration and cOnsisTeNCy thEN fOllow.

now suppOSe $F$ IS suBmOdUlaR bUT nOt modUlaR. As $f$ is iNcreasing, wE wiLl Assume withouT LoSs of generaLitY that $f(\{i\}) > 0$ for alL $i\iN N$, whicH iS eqUIvaleNt tO $f(S) > 0$ foR all $S\nEQ\emptySet$; otherwIsE, $F(T) = f(T\seTMinus\{i\})$ fOR AlL $T\suBseteq N$, so discard $i$ FRoM $n$ and continue. In ParticUlAR, wE HAve $\{\EmpTyset\} = \operaToRname*{ARg\,min}_{S\sUBsETEQ N} f(s)$.

define $\epsilon = \Bar f / (2\bar f - f(N))$, wHIch Is striCtLy pOSitive By LemMa \[LEm:bAr-f\] and submoDulaRity of $f$. LeT $p = (1-\epsiLOn) \bar p + \ePSilon \deLta_\empTysEt$, wHere AGaIn $\Bar P$ iS The UNiForM DisTributioN, aNd $\Delta_\EmptYSET$ Is thE poInt dIstriBution on $\emptySet$. from lEmmA \[lem:2-bAr-f\], foR all $a\sUbsetEq N$ we hAve $$\beGiN{aligned}
    \hat\ell^f((a,\empTyset);p)
    &= (1-\epsIloN) 2 \bAr f + \EpSilon \, \HAt\ell^f((a,\emPtySet),\emptYset)\\
    &= (1-\epsILon) 2 \BaR F + \EPsIlon \, 2f(A)\\
    &\geq (1-\epsilon)2 \baR f > F(n) = \HaT\ell^f((\empTyset,N);P)~.
    \EnD{aLIgned}$$ As wE hAve Some REPort wIth sTRiCtly loweR loss tHAn AlL reportS oF the foRm $(a,\emPtySet)$, we COnclUde thaT we must hAve soME $(A,B) \in {\mathrm{proP}[\Hat\ell^f]}(p)$ with $B\NEq\EMPtYSet$. WE caN also see thaT ${\matHRm{prOp}[\elL^F]}(p) = \{\EmpTYset\}$ bY the sEcONd EQuality and the fact thAt $\{\EmptysEt\} = \opeRatorname*{arg\,mIn}_{S\subseteQ n} F(s)$.

RevisitIng
$ embeds $2\ell^f$. (Equiv alently, t hereisalw ay s an  opt imal report $( A ,\em ptyset)\in\hat{\mathca l{R}} $f or $ \ ha t\ell ^f$.) C a li b r ati on  a ndco n si stenc y t hen fol low.

Nowsup po se $f$ is su b mo dular butnot  modular. As  $f $ is i nc rea s ing,wewillassume withou t loss of  g e nerali t y that$ f (\ {i\} ) > 0$ for all $i \ in N$, which is e quival en t  t o $f( S)> 0$ for a ll  $S\n e q\empty s et $ ; oth e rwise, $f(T)= f(T\setmi n us\ {i\})$  f ora ll $T\ subse te q  N$ , so discar d $i $ from $N $ andc ontinue .  In par ticula r,wehave $\ {\ emp ty s et\ }  =  \o p era torname* {a rg \,min }_{S \ s u b sete q N } f( S)$.
Define $\eps ilo n =\ bar  f /(2\ba r f-f(N)) $, whi ch is  s trictly positiv e by  Lemma \[ lem :b ar- f\ ] and submod ula rit y of $f $. Let$ p =  ( 1 - \ ep silon) \bar p + \e ps i l on  \delta_ \empty s et $, where ag ai n $ \bar p $ istheu ni form dis tribut i on ,and $\d el ta_\em pt yse t$is th e  poi nt dis tributio n on$ \emptyset$. Fr o m Lemma \[lem : 2- b a r- f \],for  all $A\sub sete q  N$we h a ve  $$ \ begin {alig ne d }   \hat\ell^f((A,\e mp tyset) ;p)
   &= (1-\eps ilon) 2 \b a r f + \eps ilon \, \hat\ell^f((A, \empt yset),\emp t yset)\\    & = (1-\ep silon) 2\ b ar f + \ eps ilo n \ , 2 f ( A) \\
    &\geq( 1 -\ep si lon)2 \ bar  f > f( N)= \ hat \el l^ f((\empty set,N);p )~ .  \en d{ali g ned}$$ A sweha vesomer eportwithstri ct ly low er loss th a n  all  r ep orts  of  t he fo rm $ ( A,\ emptyse t)$, we c onc l udeth at  we mus t have some $ (A ,B) \in {\ ma thr m{prop } [ \hat\ell ^f]}(p)$ with $B\neq\em p tyset$.  We  canalso  see that  ${ \mathr m{p r op}[\e ll^f]} (p) =  \ {\e m p tyset \ } $byth e second e q u ali ty an dthefact th at $\{\emptyset\}=  \o peratorname*{ arg \,mi n } _{ S\s u bs e teq  N }  f( S ) $.

Revisiting
$ embeds_$2\ell^f$. (Equivalently,_there is always an_optimal report_$(A,\emptyset)\in\hat{\mathcal{R}}$_for $\hat\ell^f$.)_Calibration_and consistency then_follow.

Now suppose $f$_is submodular but not_modular. As $f$_is_increasing, we will assume without loss of generality that $f(\{i\}) > 0$ for all_$i\in_N$, which_is_equivalent_to $f(S) > 0$ for_all $S\neq\emptyset$; otherwise, $f(T) =_f(T\setminus\{i\})$ for_all $T\subseteq N$, so discard $i$ from $N$_and_continue. In particular,_we have $\{\emptyset\} = \operatorname*{arg\,min}_{S\subseteq N} f(S)$.

Define $\epsilon =_\bar f / (2\bar f -_f(N))$, which is_strictly_positive_by Lemma \[lem:bar-f\] and submodularity_of $f$. Let $p = (1-\epsilon)_\bar p + \epsilon \delta_\emptyset$, where_again $\bar p$ is the uniform distribution,_and $\delta_\emptyset$ is the point distribution_on $\emptyset$. From Lemma \[lem:2-bar-f\], for_all $A\subseteq_N$ we have $$\begin{aligned}
 _  \hat\ell^f((A,\emptyset);p)
_ _ &= (1-\epsilon)_2 \bar f + \epsilon \,_\hat\ell^f((A,\emptyset),\emptyset)\\
  _ &= (1-\epsilon) 2 \bar f_+_\epsilon \, 2f(A)\\
___ &\geq_(1-\epsilon)2 \bar f_>_f(N) =_\hat\ell^f((\emptyset,N);p)~.
_   \end{aligned}$$ As we_have_some report with strictly lower loss than_all reports of the_form_$(A,\emptyset)$, we conclude that_we must have some $(A,B)_\in {\mathrm{prop}[\hat\ell^f]}(p)$ with $B\neq\emptyset$. We can_also see_that ${\mathrm{prop}[\ell^f]}(p)_= \{\emptyset\}$ by the second equality and the fact that $\{\emptyset\}_= \operatorname*{arg\,min}_{S\subseteq N} f(S)$.

Revisiting