From a372ce16cbd651c1543967d55f49116da8bf1272 Mon Sep 17 00:00:00 2001
From: Hanno Braun <hanno@braun-odw.eu>
Date: Tue, 20 Jun 2023 10:25:14 +0200
Subject: [PATCH] Update paragraph in documentation

---
 crates/fj-core/src/lib.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/fj-core/src/lib.rs b/crates/fj-core/src/lib.rs
index 4369745c6..b84a84163 100644
--- a/crates/fj-core/src/lib.rs
+++ b/crates/fj-core/src/lib.rs
@@ -14,8 +14,8 @@
 //! explicitness**. This means that geometrical relationships must be expressed
 //! explicitly, or they are not accepted.
 //!
-//! It is important to understand that this principle defines the destination of
-//! CAD kernel development. It does not reflect the current reality.
+//! This principle is not fully implemented yet. There are quite a few
+//! validation checks that enforce part of it, but many are still missing.
 //!
 //! ### Motivation
 //!