diff --git a/.vscode/settings.json b/.vscode/settings.json
index a55948fb650e7c299790a41af7599a6499f116c3..e7ee0927659c27abccdcf0d169a21f96b9c7e254 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -1,38 +1,98 @@
 {
-    "cSpell.words": [
-        "Bogatov",
-        "Captcha",
-        "Diffie",
-        "Dmytro",
-        "Edmonds",
-        "Fulkerson",
-        "Karp",
-        "ORAM",
-        "Untrusted",
-        "alertblock",
-        "allcaps",
-        "allsmallcaps",
-        "amsalpha",
-        "beamer",
-        "bijection",
-        "bijective",
-        "chktex",
-        "cryptosystem",
-        "dbogatov",
-        "distinguisher",
-        "frametitle",
-        "includegraphics",
-        "indistinguishability",
-        "keepaspectratio",
-        "midrule",
-        "negl",
-        "orams",
-        "parametrization",
-        "progressbar",
-        "providecommand",
-        "smallcaps",
-        "titleformat",
-        "toprule",
-        "usetheme"
-    ]
+	"cSpell.words": [
+		"Bogatov",
+		"Burkard",
+		"Captcha",
+		"Dell'Amico",
+		"Diffie",
+		"Dmytro",
+		"Dulmage",
+		"Edmonds",
+		"Freivald",
+		"Freivalds",
+		"Fulkerson",
+		"Hopcroft",
+		"Karp",
+		"Martello",
+		"Mendelsohn",
+		"Rainer",
+		"Silvano",
+		"Zwick",
+		"arrowsize",
+		"bijection",
+		"bijective",
+		"binom",
+		"bmatrix",
+		"captionof",
+		"cheatsheets",
+		"chktex",
+		"colsep",
+		"cryptosystem",
+		"dbogatov",
+		"distinguisher",
+		"indistinguishability",
+		"labelsep",
+		"linestyle",
+		"linewidth",
+		"lstlisting",
+		"midrule",
+		"mnode",
+		"multicols",
+		"multline",
+		"mydescription",
+		"myenumerate",
+		"myitemize",
+		"naput",
+		"ncput",
+		"nicefrac",
+		"nonsaturating",
+		"noteq",
+		"npos",
+		"preflow",
+		"psmatrix",
+		"psset",
+		"rearrangeable",
+		"subfigure",
+		"subtrees",
+		"toprule",
+		"Eulerconst",
+		"approxident",
+		"colback",
+		"colframe",
+		"cryptosystem's",
+		"ensuremath",
+		"eqref",
+		"printf",
+		"highlightline",
+		"highlightlinespecial",
+		"highlightmany",
+		"hltitlecodebox",
+		"hltitlecodeboxspecial",
+		"indist",
+		"mathbb",
+		"mathrm",
+		"subname",
+		"tcblower",
+		"tcolorbox",
+		"textasciitilde",
+		"titlecodebox",
+		"ORAM",
+		"Untrusted",
+		"alertblock",
+		"allcaps",
+		"allsmallcaps",
+		"amsalpha",
+		"beamer",
+		"frametitle",
+		"includegraphics",
+		"keepaspectratio",
+		"negl",
+		"orams",
+		"parametrization",
+		"progressbar",
+		"providecommand",
+		"smallcaps",
+		"titleformat",
+		"usetheme"
+	]
 }
\ No newline at end of file