Appendix

The supplementary material is organized as follows. Before we can prove this theorem, we will require some auxiliary lemmas. This completes the induction argument, and thus we conclude the proof of the lemma. We are now ready to prove Proposition 2. We will use notation We start by explaining the high-level idea of the proof. We now define the problem Minimal-Expected-Clauses .