From 3b6486a849278f8ef2f9b5280b83eed7b373365d Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Thu, 22 Feb 2024 10:13:28 +0100
Subject: [PATCH] [format.parse.ctx] improve readability of paragraphs 12 and
 14

---
 source/utilities.tex | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/source/utilities.tex b/source/utilities.tex
index 97e4e2bf26..dee4de6962 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -17385,8 +17385,8 @@
 
 \pnum
 \remarks
-Call expressions where \tcode{id >= num_args_} is \tcode{true} are not
-core constant expressions\iref{expr.const}.
+A call to this function is a core constant expression\iref{expr.const} only if
+\tcode{id < num_args_} is \tcode{true}.
 \end{itemdescr}
 
 \indexlibrarymember{check_dynamic_spec}{basic_format_parse_context}%
@@ -17415,12 +17415,14 @@
 
 \pnum
 \remarks
-Call expressions where
-\tcode{id >= num_args_} or
+A call to this function is a core constant expression only if
+\begin{itemize}
+\item
+\tcode{id < num_args_} is \tcode{true} and
+\item
 the type of the corresponding format argument
-(after conversion to \tcode{basic_format_arg<Context>})
-is not one of the types in \tcode{Ts...}
-are not core constant expressions\iref{expr.const}.
+(after conversion to \tcode{basic_format_args<Context>}) is one of the types in \tcode{Ts...}.
+\end{itemize}
 \end{itemdescr}
 
 \indexlibrarymember{check_dynamic_spec_integral}{basic_format_parse_context}%