Pick propositions and save; you will write the inference text on the next screen — publish once it reads right.
Proposition 7. If the input game has a labeling satisfying a fraction at least 1-θ of its constraints under ν , then the constructed digraph has a feedback vertex set of cost at most 4 .