First, we would like to thank R1

While Theorem 1 indeed shows that many games in EFG (e.g. Appendix L: "Random Games of Skill") will have