diff --git a/source/iterators.tex b/source/iterators.tex
index 4cf779c363..d148a6489a 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -169,10 +169,7 @@
 
   // \ref{projected}, projected
   template<@\libconcept{indirectly_readable}@ I, @\libconcept{indirectly_regular_unary_invocable}@<I> Proj>
-    struct projected;                                                               // freestanding
-
-  template<@\libconcept{weakly_incrementable}@ I, class Proj>
-    struct incrementable_traits<projected<I, Proj>>;                                // freestanding
+    using projected = @\seebelow@;                                                    // freestanding
 
   template<@\libconcept{indirectly_readable}@ I, @\libconcept{indirectly_regular_unary_invocable}@<I> Proj>
   using projected_value_t =                                                         // freestanding