From b4d9df8389d185193c99ed51d526547abc1677ff Mon Sep 17 00:00:00 2001
From: Michael Wong <fraggamuffin@gmail.com>
Date: Sun, 3 Mar 2024 14:20:30 -0500
Subject: [PATCH] FIx Michael Synchronize Value on negative semantics

---
 src/syncvalue.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/syncvalue.tex b/src/syncvalue.tex
index 60b9e5c..85730aa 100644
--- a/src/syncvalue.tex
+++ b/src/syncvalue.tex
@@ -141,7 +141,7 @@
 \end{example}
  \end{note}
 
-\begin{note} The invocation of \tcode{f} can not call \tcode{apply}
+\begin{note} It is not possible to pass for the invocation of \tcode{f} to call \tcode{apply}
 directly or indirectly passing any of \tcode{values...}. 
 \end{note}
 \end{itemdescr}