diff --git a/source/ranges.tex b/source/ranges.tex
index 2a606adfea..0266f3d27f 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -1938,12 +1938,12 @@
       @\libconcept{convertible_to}@<From, To> &&
       !@\exposconcept{uses-nonqualification-pointer-conversion}@<decay_t<From>, decay_t<To>>;
 
-  template<class T, class U, class V>
+  template<class P, class I, class S>
     concept @\defexposconceptnc{pair-like-convertible-from}@ =                    // \expos
-      !@\libconcept{range}@<T> && !is_reference_v<T> && @\exposconcept{pair-like}@<T> &&
-      @\libconcept{constructible_from}@<T, U, V> &&
-      @\exposconcept{convertible-to-non-slicing}@<U, tuple_element_t<0, T>> &&
-      @\libconcept{convertible_to}@<V, tuple_element_t<1, T>>;
+      !@\libconcept{range}@<P> && !is_reference_v<P> && @\exposconcept{pair-like}@<P> &&
+      @\libconcept{constructible_from}@<P, I, S> &&
+      @\exposconcept{convertible-to-non-slicing}@<I, tuple_element_t<0, P>> &&
+      @\libconcept{convertible_to}@<S, tuple_element_t<1, P>>;
 
   template<@\libconcept{input_or_output_iterator}@ I, @\libconcept{sentinel_for}@<I> S = I, subrange_kind K =
       @\libconcept{sized_sentinel_for}@<S, I> ? subrange_kind::sized : subrange_kind::unsized>