From 61a1a7c536c2b8c0bb5bf636e3d3cbafc5772f51 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johel=20Ernesto=20Guerrero=20Pe=C3=B1a?=
 <johelegp@gmail.com>
Date: Tue, 21 Feb 2023 15:39:49 -0400
Subject: [PATCH] [range.subrange.general,range.adaptors] Use present only if
 condition is `true`

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

diff --git a/source/ranges.tex b/source/ranges.tex
index c86b342ee3..a8edafe882 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -1813,7 +1813,7 @@
     I @\exposid{begin_}@ = I();                                         // \expos
     S @\exposid{end_}@ = S();                                           // \expos
     @\exposidnc{make-unsigned-like-t}@<iter_difference_t<I>> @\exposid{size_}@ = 0;   // \expos; present only
-                                                            // when \exposid{StoreSize} is \tcode{true}
+                                                            // if \exposid{StoreSize} is \tcode{true}
   public:
     subrange() requires @\libconcept{default_initializable}@<I> = default;
 
@@ -6415,7 +6415,7 @@
     V @\exposid{base_}@ = V();                                          // \expos
 
     @\exposidnc{non-propagating-cache}@<remove_cv_t<@\exposidnc{InnerRng}@>> @\exposid{inner_}@;    // \expos, present only
-                                                            // when \tcode{!is_reference_v<\exposid{InnerRng}>}
+                                                            // if \tcode{is_reference_v<\exposid{InnerRng}>} is \tcode{false}
 
   public:
     join_view() requires @\libconcept{default_initializable}@<V> = default;
@@ -6904,7 +6904,7 @@
 
     V @\exposid{base_}@ = V();                                          // \expos
     @\exposid{non-propagating-cache}@<remove_cv_t<@\exposid{InnerRng}@>> @\exposid{inner_}@;   // \expos, present only
-                                                            // when \tcode{!is_reference_v<\exposid{InnerRng}>}
+                                                            // if \tcode{is_reference_v<\exposid{InnerRng}>} is \tcode{false}
     Pattern @\exposid{pattern_}@ = Pattern();                           // \expos
 
     // \ref{range.join.with.iterator}, class template \tcode{join_with_view::\exposid{iterator}}
@@ -7491,7 +7491,7 @@
     Pattern @\exposid{pattern_}@ = Pattern();                               // \expos
 
     @\exposidnc{non-propagating-cache}@<iterator_t<V>> @\exposid{current_}@;              // \expos, present only
-                                                                // if \tcode{!\libconcept{forward_range}<V>}
+                                                                // if \tcode{\libconcept{forward_range}<V>} is \tcode{false}
 
     // \ref{range.lazy.split.outer}, class template \tcode{lazy_split_view::\exposid{outer-iterator}}
     template<bool> struct @\exposidnc{outer-iterator}@;                       // \expos