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 .