From ca29ee86221db6c115f498a1f8f6315325196d24 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 14 Jun 2022 07:25:45 +0200
Subject: Update the README

---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 1a8fb901..c7b98b5e 100644
--- a/README.md
+++ b/README.md
@@ -77,8 +77,7 @@ We have the following limitations, that we plan to address one by one:
 - **no interior mutability**: long-term effort. Interior mutability introduces
   true aliasing: we will probably have to use a low-level memory model to address
   this issue.
-  Note that interior mutability is mostly anecdotal in sequential execution,
-  but necessary for concurrent execution (it is exploited by the synchronisation
-  primitives).
+  Note that interior mutability is truely necessary for concurrent execution (it
+  is exploited to implement the synchronisation primitives).
 - **no concurrent execution**: long-term effort. We plan to address coarse-grained
   parallelism as a long-term goal.
-- 
cgit v1.2.3