“…This is without loss of generality if (PC) is slack, in which case unregulated optimal contracts always feature a single payout date, while maximally two payout dates are optimal when (PC) binds (seeHoffmann, Inderst, and Opp (2021)). Importantly, Lemma 1 applies in all cases.18 See, for example,Innes (1990) and, for the formal argument in our setting, the proof of Lemma A.1.…”