diff --git a/README.md b/README.md
index d4cc18e56..5c27a7b52 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ Kind2 is a general-purpose programming language made from scratch to harness
 [HVM](https://github.com/HigherOrderCO/HVM)'s **massive parallelism** and
 computational advantages (no garbage collection, optimal β-reduction). Its type
 system is a minimal core based on the Calculus of Constructions, making it
-inherently secure. In short, Kind2 aims to be:
+inherently secure. Essentially, Kind2 aims to be:
 
 - As *friendly* as **Python**
 
@@ -18,6 +18,8 @@ inherently secure. In short, Kind2 aims to be:
 
 And it seeks to accomplish that goal by relying on the solid foundations of [Interaction Combinators](https://www.semanticscholar.org/paper/Interaction-Combinators-Lafont/6cfe09aa6e5da6ce98077b7a048cb1badd78cc76).
 
+> NOTE: THIS REPOSITORY IS A WIP. OFFICIAL RELEASE COMING SOON!
+
 ## Usage
 
 1. Install [Rust](https://www.rust-lang.org/) and (optionally) [Haskell](https://www.haskell.org/) in your system.