"Eventually" is a false friend :(

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]

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