From 35f18b074fa5b34dcceb2926b7d27fb9b10219fe Mon Sep 17 00:00:00 2001
From: NotXia <35894453+NotXia@users.noreply.github.com>
Date: Fri, 8 Dec 2023 17:36:41 +0100
Subject: [PATCH] "Eventually" is a false friend :(

---
 .../module2/sections/_time_reasoning.tex                        | 2 +-
 .../module3/sections/_bayesian_net.tex                          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex b/src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex
index cf2f367..8a465c2 100644
--- a/src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex
+++ b/src/fundamentals-of-ai-and-kr/module2/sections/_time_reasoning.tex
@@ -355,7 +355,7 @@ The accessibility relation maps into the temporal dimension with two possible ev
 
             \item[Weak until ($\varphi \mathcal{W} \psi$)] \marginnote{Weak until}
                 There might be a moment when $\psi$ holds. 
-                $\varphi$ is guaranteed to hold from now until $\psi$ eventually starts to hold.
+                $\varphi$ is guaranteed to hold from now until $\psi$ possibly starts to hold.
         \end{description}
 
     \item[Semantics]
diff --git a/src/fundamentals-of-ai-and-kr/module3/sections/_bayesian_net.tex b/src/fundamentals-of-ai-and-kr/module3/sections/_bayesian_net.tex
index a9c6ed6..3bfe607 100644
--- a/src/fundamentals-of-ai-and-kr/module3/sections/_bayesian_net.tex
+++ b/src/fundamentals-of-ai-and-kr/module3/sections/_bayesian_net.tex
@@ -421,7 +421,7 @@ the number of variables in a conditional probability table.
 \subsection{Noisy-OR}
 \marginnote{Noisy-OR}
 Noisy-OR distributions model a network of non-interacting causes with a common effect.
-A node $X$ has $k$ parents $U_1, \dots, U_k$ and eventually a leak node $U_L$ to capture unmodeled concepts. 
+A node $X$ has $k$ parents $U_1, \dots, U_k$ and possibly a leak node $U_L$ to capture unmodeled concepts. 
 
 \begin{figure}[h]
     \centering