From f66b64981a42c8bfac3c56f318d3489f325815a5 Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sat, 5 Sep 2026 21:09:56 +0100
Subject: [PATCH 01/11] ex4.4

---
 build_support/catalog/catalog.am             | 1 +
 build_support/catalog/catalog_hierarchy.yaml | 1 +
 2 files changed, 2 insertions(+)

diff --git a/build_support/catalog/catalog.am b/build_support/catalog/catalog.am
index cde07fd95a..62a636d84e 100644
--- a/build_support/catalog/catalog.am
+++ b/build_support/catalog/catalog.am
@@ -1,4 +1,5 @@
 CATALOG_FILES = \
+	catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg \
 	catalog/books/myerson1991/fig2_1.efg \
 	catalog/books/myerson1991/fig4_2.efg \
 	catalog/books/shohamleytonbrown2008/fig5_1.efg \
diff --git a/build_support/catalog/catalog_hierarchy.yaml b/build_support/catalog/catalog_hierarchy.yaml
index fcc8eee97a..bd40e80d4b 100644
--- a/build_support/catalog/catalog_hierarchy.yaml
+++ b/build_support/catalog/catalog_hierarchy.yaml
@@ -16,6 +16,7 @@ labels:
   books/vonstengel2022: "von Stengel (2022) — Game Theory Basics"
   books/watson2013: "Watson (2013) — Strategy: An Introduction to Game Theory"
   books/shohamleytonbrown2008: "Shoham and Leyton-Brown (2008) — Multiagent Systems, Algorithmic, Game-Theoretic, and Logical Foundations"
+  books/elkindsavaniwooldridge202X: "Elkind, Savani, and Wooldridge (FORTHCOMING) — Computational Game Theory"
   journals/dcg/vonstengel1999: "von Stengel (1999)"
   journals/geb/gilboa1997: "Gilboa (1997)"
   journals/geb/wichardt2008: "Wichardt (2008)"

From 71ffd106dddf58abe9649fa36036d6acdde48f48 Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sat, 5 Sep 2026 21:11:36 +0100
Subject: [PATCH 02/11] ex4.4

---
 catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg

diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
new file mode 100644
index 0000000000..fe4529d6fd
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
@@ -0,0 +1,14 @@
+NFG 1 R "Untitled strategic game" { "1" "2" }
+
+{ { "1" "2" }
+{ "1" "2" }
+}
+""
+
+{
+{ "" 1.0, 1.0 }
+{ "" 0.0, 0.0 }
+{ "" 1.0, 0.0 }
+{ "" 0.0, 1.0 }
+}
+1 2 3 4

From 55a14012c0e3e7e6ef9f208012e2fe3772e11e6b Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sat, 5 Sep 2026 21:34:26 +0100
Subject: [PATCH 03/11] ex4.4 description added

---
 catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
index fe4529d6fd..1efe2adf3a 100644
--- a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
@@ -3,7 +3,7 @@ NFG 1 R "Untitled strategic game" { "1" "2" }
 { { "1" "2" }
 { "1" "2" }
 }
-""
+"TEST"
 
 {
 { "" 1.0, 1.0 }

From c3eadf2e9793106d13fae18545feda65518ee1d1 Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 10:42:38 +0100
Subject: [PATCH 04/11] ex4.4 updated with citation; fig5.1 added

---
 .../books/elkindsavaniwooldridge202X/ex4.4.nfg    | 13 +++++++------
 .../books/elkindsavaniwooldridge202X/fig5.1.nfg   | 15 +++++++++++++++
 doc/references.bib                                |  7 +++++++
 3 files changed, 29 insertions(+), 6 deletions(-)
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg

diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
index 1efe2adf3a..0b1b3f7eca 100644
--- a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
@@ -1,14 +1,15 @@
-NFG 1 R "Untitled strategic game" { "1" "2" }
+NFG 1 R "Example 4.4. from :cite:p:`ESW2X`" { "1" "2" }
 
 { { "1" "2" }
 { "1" "2" }
 }
-"TEST"
+"This is Example 4.4 from :cite:p:`ESW2X`, which is used as a running example to introduce
+normal-form games."
 
 {
-{ "" 1.0, 1.0 }
-{ "" 0.0, 0.0 }
-{ "" 1.0, 0.0 }
-{ "" 0.0, 1.0 }
+{ "" 1, 1 }
+{ "" 0, 0 }
+{ "" 1, 0 }
+{ "" 0, 1 }
 }
 1 2 3 4
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg b/catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg
new file mode 100644
index 0000000000..db79f5bd4e
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg
@@ -0,0 +1,15 @@
+NFG 1 R "Matching Pennies" { "1" "2" }
+
+{ { "1" "2" }
+{ "1" "2" }
+}
+"This is Figure 5.1 from :cite:p:`ESW2X`, the classic example of the zero-sum game
+Matching Pennies."
+
+{
+{ "" 1, -1 }
+{ "" -1, 1 }
+{ "" -1, 1 }
+{ "" 1, -1 }
+}
+1 2 3 4
diff --git a/doc/references.bib b/doc/references.bib
index 1998c5ef4e..19efe6950d 100644
--- a/doc/references.bib
+++ b/doc/references.bib
@@ -454,3 +454,10 @@ @article{SvS06
   year  = {2006},
   category  = {articles_equilibria}
 }
+
+@book{ESW2X,
+  author    = {Elkind, E. and Savani, R. and Wooldridge, M.},
+  title     = {Computational Game Theory},
+  year      = {2027},
+  category  = {textbooks}
+}

From bdd782b4ea2140883c03f522919a8d9435dbff32 Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 13:15:43 +0100
Subject: [PATCH 05/11] fig9.5 perfect info efg

---
 catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg  |  2 +-
 catalog/books/elkindsavaniwooldridge202X/fig9.5.efg | 11 +++++++++++
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/fig9.5.efg

diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
index 0b1b3f7eca..58cec880b4 100644
--- a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
@@ -1,4 +1,4 @@
-NFG 1 R "Example 4.4. from :cite:p:`ESW2X`" { "1" "2" }
+NFG 1 R "Example 4.4" { "1" "2" }
 
 { { "1" "2" }
 { "1" "2" }
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig9.5.efg b/catalog/books/elkindsavaniwooldridge202X/fig9.5.efg
new file mode 100644
index 0000000000..e849b9ae74
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/fig9.5.efg
@@ -0,0 +1,11 @@
+EFG 2 R "Figure 9.5: A Simple Extensive Game" { "Player 1" "Player 2" }
+"Figure 9.5 from :cite:p:`ESW2X`, used as a running example of an extensive-form game
+with perfect information.""
+
+p "" 1 1 "" { "L" "R" } 0
+p "" 2 1 "" { "l" "r" } 0
+t "" 1 "Outcome 1" { 4, 1 }
+t "" 2 "Outcome 2" { 0, 2 }
+p "" 2 2 "" { "l" "r" } 0
+t "" 3 "Outcome 3" { 3, 1 }
+t "" 4 "Outcome 4" { 1, 2 }

From 65eda391f473fff248b82db4f34059440f536cbe Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 13:41:20 +0100
Subject: [PATCH 06/11] underscores not dots in fig/ex names

---
 .../books/elkindsavaniwooldridge202X/ex4.4.nfg    | 15 ---------------
 .../books/elkindsavaniwooldridge202X/fig5.1.nfg   | 15 ---------------
 .../books/elkindsavaniwooldridge202X/fig9.5.efg   | 11 -----------
 3 files changed, 41 deletions(-)
 delete mode 100644 catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
 delete mode 100644 catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg
 delete mode 100644 catalog/books/elkindsavaniwooldridge202X/fig9.5.efg

diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
deleted file mode 100644
index 58cec880b4..0000000000
--- a/catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg
+++ /dev/null
@@ -1,15 +0,0 @@
-NFG 1 R "Example 4.4" { "1" "2" }
-
-{ { "1" "2" }
-{ "1" "2" }
-}
-"This is Example 4.4 from :cite:p:`ESW2X`, which is used as a running example to introduce
-normal-form games."
-
-{
-{ "" 1, 1 }
-{ "" 0, 0 }
-{ "" 1, 0 }
-{ "" 0, 1 }
-}
-1 2 3 4
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg b/catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg
deleted file mode 100644
index db79f5bd4e..0000000000
--- a/catalog/books/elkindsavaniwooldridge202X/fig5.1.nfg
+++ /dev/null
@@ -1,15 +0,0 @@
-NFG 1 R "Matching Pennies" { "1" "2" }
-
-{ { "1" "2" }
-{ "1" "2" }
-}
-"This is Figure 5.1 from :cite:p:`ESW2X`, the classic example of the zero-sum game
-Matching Pennies."
-
-{
-{ "" 1, -1 }
-{ "" -1, 1 }
-{ "" -1, 1 }
-{ "" 1, -1 }
-}
-1 2 3 4
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig9.5.efg b/catalog/books/elkindsavaniwooldridge202X/fig9.5.efg
deleted file mode 100644
index e849b9ae74..0000000000
--- a/catalog/books/elkindsavaniwooldridge202X/fig9.5.efg
+++ /dev/null
@@ -1,11 +0,0 @@
-EFG 2 R "Figure 9.5: A Simple Extensive Game" { "Player 1" "Player 2" }
-"Figure 9.5 from :cite:p:`ESW2X`, used as a running example of an extensive-form game
-with perfect information.""
-
-p "" 1 1 "" { "L" "R" } 0
-p "" 2 1 "" { "l" "r" } 0
-t "" 1 "Outcome 1" { 4, 1 }
-t "" 2 "Outcome 2" { 0, 2 }
-p "" 2 2 "" { "l" "r" } 0
-t "" 3 "Outcome 3" { 3, 1 }
-t "" 4 "Outcome 4" { 1, 2 }

From 690c62f663a546cc0f4795e160c9c276847e70a9 Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 13:41:40 +0100
Subject: [PATCH 07/11] underscores not dots in fig/ex names

---
 .../books/elkindsavaniwooldridge202X/ex4_4.nfg    | 15 +++++++++++++++
 .../books/elkindsavaniwooldridge202X/fig5_1.nfg   | 15 +++++++++++++++
 .../books/elkindsavaniwooldridge202X/fig9_5.efg   | 11 +++++++++++
 3 files changed, 41 insertions(+)
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/fig9_5.efg

diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg
new file mode 100644
index 0000000000..58cec880b4
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg
@@ -0,0 +1,15 @@
+NFG 1 R "Example 4.4" { "1" "2" }
+
+{ { "1" "2" }
+{ "1" "2" }
+}
+"This is Example 4.4 from :cite:p:`ESW2X`, which is used as a running example to introduce
+normal-form games."
+
+{
+{ "" 1, 1 }
+{ "" 0, 0 }
+{ "" 1, 0 }
+{ "" 0, 1 }
+}
+1 2 3 4
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg b/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
new file mode 100644
index 0000000000..db79f5bd4e
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
@@ -0,0 +1,15 @@
+NFG 1 R "Matching Pennies" { "1" "2" }
+
+{ { "1" "2" }
+{ "1" "2" }
+}
+"This is Figure 5.1 from :cite:p:`ESW2X`, the classic example of the zero-sum game
+Matching Pennies."
+
+{
+{ "" 1, -1 }
+{ "" -1, 1 }
+{ "" -1, 1 }
+{ "" 1, -1 }
+}
+1 2 3 4
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig9_5.efg b/catalog/books/elkindsavaniwooldridge202X/fig9_5.efg
new file mode 100644
index 0000000000..c1b8690f4a
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/fig9_5.efg
@@ -0,0 +1,11 @@
+EFG 2 R "Figure 9.5: A Simple Extensive Game" { "Player 1" "Player 2" }
+"Figure 9.5 from :cite:p:`ESW2X`, used as a running example of an extensive-form game
+with perfect information."
+
+p "" 1 1 "" { "L" "R" } 0
+p "" 2 1 "" { "l" "r" } 0
+t "" 1 "Outcome 1" { 4, 1 }
+t "" 2 "Outcome 2" { 0, 2 }
+p "" 2 2 "" { "l" "r" } 0
+t "" 3 "Outcome 3" { 3, 1 }
+t "" 4 "Outcome 4" { 1, 2 }

From 94b52e051695bec7bfcf53a3706225402f0d3fcd Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 14:23:10 +0100
Subject: [PATCH 08/11] update catalog.am

---
 build_support/catalog/catalog.am | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build_support/catalog/catalog.am b/build_support/catalog/catalog.am
index 62a636d84e..f85e7facdb 100644
--- a/build_support/catalog/catalog.am
+++ b/build_support/catalog/catalog.am
@@ -1,5 +1,7 @@
 CATALOG_FILES = \
-	catalog/books/elkindsavaniwooldridge202X/ex4.4.nfg \
+	catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg \
+	catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg \
+	catalog/books/elkindsavaniwooldridge202X/fig9_5.efg \
 	catalog/books/myerson1991/fig2_1.efg \
 	catalog/books/myerson1991/fig4_2.efg \
 	catalog/books/shohamleytonbrown2008/fig5_1.efg \

From d244f856503f0b3819fe41a0447264ec05a99f86 Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 15:52:38 +0100
Subject: [PATCH 09/11] ex4_21

---
 build_support/catalog/catalog.am                    | 1 +
 catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build_support/catalog/catalog.am b/build_support/catalog/catalog.am
index f85e7facdb..97f4285b4c 100644
--- a/build_support/catalog/catalog.am
+++ b/build_support/catalog/catalog.am
@@ -1,4 +1,5 @@
 CATALOG_FILES = \
+	catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg \
 	catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg \
 	catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg \
 	catalog/books/elkindsavaniwooldridge202X/fig9_5.efg \
diff --git a/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg b/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
index db79f5bd4e..70b1a004cc 100644
--- a/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
+++ b/catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg
@@ -1,4 +1,4 @@
-NFG 1 R "Matching Pennies" { "1" "2" }
+NFG 1 R "Figure 5.1: Matching Pennies" { "1" "2" }
 
 { { "1" "2" }
 { "1" "2" }

From 122e9a8d128261683f95096fb1677f595de4a5b5 Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 15:58:25 +0100
Subject: [PATCH 10/11] ex4_21.nfg

---
 .../elkindsavaniwooldridge202X/ex4_21.nfg     | 20 +++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg

diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg
new file mode 100644
index 0000000000..d2f2724ff4
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg
@@ -0,0 +1,20 @@
+NFG 1 R "Example 4.21" { "1" "2" }
+
+{ { "T" "M" "B" }
+{ "L" "C" "R" }
+}
+"Example 4.21 from :cite:p:`ESW2X`, which is used as an example of Iterated Elimination of
+Dominated Strategies."
+
+{
+{ "" 4, 3 }
+{ "" 2, 1 }
+{ "" 3, 0 }
+{ "" 5, 1 }
+{ "" 8, 4 }
+{ "" 9, 6 }
+{ "" 6, 2 }
+{ "" 3, 6 }
+{ "" 2, 8 }
+}
+1 2 3 4 5 6 7 8 9

From 5f2f983a45a966ac2fde77aa2fc9d534c41eecdc Mon Sep 17 00:00:00 2001
From: Rahul Savani <rahul.savani@gmail.com>
Date: Sun, 6 Sep 2026 16:21:54 +0100
Subject: [PATCH 11/11] ex4_31.nfg

---
 build_support/catalog/catalog.am              |  1 +
 .../elkindsavaniwooldridge202X/ex4_31.nfg     | 20 +++++++++++++++++++
 2 files changed, 21 insertions(+)
 create mode 100644 catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg

diff --git a/build_support/catalog/catalog.am b/build_support/catalog/catalog.am
index 97f4285b4c..19738b8178 100644
--- a/build_support/catalog/catalog.am
+++ b/build_support/catalog/catalog.am
@@ -1,5 +1,6 @@
 CATALOG_FILES = \
 	catalog/books/elkindsavaniwooldridge202X/ex4_21.nfg \
+	catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg \
 	catalog/books/elkindsavaniwooldridge202X/ex4_4.nfg \
 	catalog/books/elkindsavaniwooldridge202X/fig5_1.nfg \
 	catalog/books/elkindsavaniwooldridge202X/fig9_5.efg \
diff --git a/catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg b/catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg
new file mode 100644
index 0000000000..d5c79a7290
--- /dev/null
+++ b/catalog/books/elkindsavaniwooldridge202X/ex4_31.nfg
@@ -0,0 +1,20 @@
+NFG 1 R "Example 4.31" { "1" "2" }
+
+{ { "T" "M" "B" }
+{ "L" "C" "R" }
+}
+"Example 4.31 from :cite:p:`ESW2X`, which is used to show that myopic best responses may not
+converge, even if a pure Nash equilubrium exists in the game."
+
+{
+{ "" -1, 1 }
+{ "" 1, -1 }
+{ "" -2, -2 }
+{ "" 1, -1 }
+{ "" -1, 1 }
+{ "" -2, -2 }
+{ "" -2, -2 }
+{ "" -2, -2 }
+{ "" 2, 2 }
+}
+1 2 3 4 5 6 7 8 9