diff --git a/README.adoc b/README.adoc
index f8f4ce1..9119f2e 100644
--- a/README.adoc
+++ b/README.adoc
@@ -83,7 +83,7 @@ _Coming soon_
 │  Provenance | Reversibility | PROMPT Scores                 │
 ├─────────────────────────────────────────────────────────────┤
 │  Formal Verification Layer (Idris2)                         │
-│  Type-level guarantees | Correctness proofs                 │
+│  Type-level checks     | Correctness proofs (target)        │
 ├─────────────────────────────────────────────────────────────┤
 │  Storage: Local | Dropbox | GDrive | S3                     │
 └─────────────────────────────────────────────────────────────┘