From ca19515f0e332d5cf1680300dca993b5778c078f Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Thu, 27 Mar 2025 11:26:40 +0000
Subject: [PATCH] [temp.constr.normal] Use "contains (a pack)" instead of
 "names"

---
 source/templates.tex | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/source/templates.tex b/source/templates.tex
index 0294586daa..986ad82528 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -2126,13 +2126,13 @@
   \item
   The normal form of an expression \tcode{F} of the form \tcode{( E Op ... )}
   is as follows:\\
-  If \tcode{E} names any unexpanded concept template parameter pack,
-  it shall not name any unexpanded template parameter pack of another kind.
+  If \tcode{E} contains an unexpanded concept template parameter pack,
+  it shall not contain an unexpanded template parameter pack of another kind.
   Let \tcode{E$'$} be the normal form of \tcode{E}.
     \begin{itemize}
     \item
-    If \tcode{E} names
-    any unexpanded concept template parameter pack \tcode{P$_k$} that
+    If \tcode{E} contains
+    an unexpanded concept template parameter pack \tcode{P$_k$} that
     has corresponding template arguments in
     the parameter mapping of any atomic constraint
     (including concept-dependent constraints) of \tcode{E$'$},