diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json
index eda61ad..6de17e4 100644
--- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json
+++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json
@@ -536,7 +536,7 @@
     "set/functions.md": "9fc813971de5fdda7aaac0cf91a721ad",
     "_journal/2024-06-15.md": "92cb8dc5c98e10832fb70c0e3ab3cec4",
     "_journal/2024-06/2024-06-14.md": "5d12bc272238ac985a1d35d3d63ea307",
-    "lambda-calculus/beta-reduction.md": "7d001ad86d3fd77a83c0df99bcc2597b",
+    "lambda-calculus/beta-reduction.md": "5ea9b74d57074c699086db060fb86d50",
     "_journal/2024-06-16.md": "ded6ab660ecc7c3dce3afd2e88e5a725",
     "_journal/2024-06/2024-06-15.md": "c3a55549da9dfc2770bfcf403bf5b30b",
     "_journal/2024-06-17.md": "63df6757bb3384e45093bf2b9456ffac",
@@ -552,7 +552,7 @@
     "_journal/2024-06/2024-06-19.md": "363852585ef0c6e7e8ee250b3ec7fc38",
     "_journal/2024-06-21.md": "12e37e2c57abab09c781b32793fbbe1a",
     "_journal/2024-06/2024-06-20.md": "12d4d8cc2f6dfa37b8d2c09095c5e636",
-    "_journal/2024-06-22.md": "c389e4a19d3c498f68cabb1e84bc3213",
+    "_journal/2024-06-22.md": "8f566883a70458a20d9c750065ce4025",
     "programming/ars.md": "70cfc820968cc24d9f0198bc98f5f9a2"
   },
   "fields_dict": {
diff --git a/notes/lambda-calculus/beta-reduction.md b/notes/lambda-calculus/beta-reduction.md
index c9c9995..9a39991 100644
--- a/notes/lambda-calculus/beta-reduction.md
+++ b/notes/lambda-calculus/beta-reduction.md
@@ -260,8 +260,8 @@ END%%
 
 %%ANKI
 Basic
-How many $\beta$-reductions can a term have?
-Back: One or more.
+How many contractions can make up a $\beta$-reduction?
+Back: Zero or more.
 Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf).
 <!--ID: 1719065602215-->
 END%%