(Nit: Whenever a game is the best in some dimension, it’s Pareto-optimal. You say that Coup is “the” Pareto-optimal game, but if the Pareto set just had one element, that element would be simply optimal (not merely Pareto-optimal)! Even more than that, probably a substantial fraction of social deduction game are Pareto optimal. Finding a particular pair of games where one dominated another would be surprising.)
(Nit: Whenever a game is the best in some dimension, it’s Pareto-optimal. You say that Coup is “the” Pareto-optimal game, but if the Pareto set just had one element, that element would be simply optimal (not merely Pareto-optimal)! Even more than that, probably a substantial fraction of social deduction game are Pareto optimal. Finding a particular pair of games where one dominated another would be surprising.)