From 5726e9411a8506b5d7dc6f1bef6e6a29e71a2cd1 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Sun, 14 Dec 2025 18:13:20 +0000
Subject: [PATCH] [basic.fundamental] Demote normatively redundant sentences to
 a note

---
 source/basic.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..65dbdbb648 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -5657,10 +5657,12 @@
 
 \pnum
 The types denoted by \cv~\tcode{std::nullptr_t} are distinct types.
+\tcode{\keyword{sizeof}(std::nullptr_t)} shall be equal to \tcode{\keyword{sizeof}(\keyword{void}*)}.
+\begin{note}
 A prvalue of type \tcode{std::nullptr_t} is a null pointer
-constant\iref{conv.ptr}. Such values participate in the pointer and the
+constant\iref{conv.ptr}. Such expressions participate in the pointer and the
 pointer-to-member conversions\iref{conv.ptr,conv.mem}.
-\tcode{\keyword{sizeof}(std::nullptr_t)} shall be equal to \tcode{\keyword{sizeof}(\keyword{void}*)}.
+\end{note}
 
 \pnum
 A value of type \tcode{std::meta::info} is called a \defn{reflection}.