--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -2918,20 +2918,29 @@ [optional.optional.general]
 other than \cv{} \tcode{in_place_t} or \cv{} \tcode{nullopt_t}
 that meets the \oldconcept{Destructible} requirements (\tref{cpp17.destructible}).
 
-\rSec3[optional.ctor]{Constructors}
-
 \pnum
-The exposition-only alias template \exposid{converts-from-any-cvref}
-is used by some constructors for \tcode{optional}.
+The exposition-only alias templates
+\exposid{construct-from-any-cvref},
+\exposid{convert-from-any-cvref}, and\brk
+\exposid{assign-from-any-cvref}
+are used by some members of \tcode{optional}.
 \begin{codeblock}
 template<class T, class W>
-using @\exposid{converts-from-any-cvref}@ // \expos
+using @\exposid{construct-from-any-cvref}@ // \expos
   = disjunction<is_constructible<T, W&>, is_constructible<T, W>,
-                is_constructible<T, const W&>, is_constructible<T, const W>,
-                is_convertible<W&, T>, is_convertible<W, T>,
+                is_constructible<T, const W&>, is_constructible<T, const W>>;
+template<class T, class W>
+using @\exposid{convert-from-any-cvref}@ // \expos
+  = disjunction<is_convertible<W&, T>, is_convertible<W, T>,
                 is_convertible<const W&, T>, is_convertible<const W, T>>;
+template<class T, class W>
+using @\exposid{assign-from-any-cvref}@ // \expos
+  = disjunction<is_assignable<T&, W&>, is_assignable<T&, W>,
+                is_assignable<T&, const W&>, is_assignable<T&, const W>>;
 \end{codeblock}
 
+\rSec3[optional.ctor]{Constructors}
+
 \indexlibraryctor{optional}%
 \begin{itemdecl}
 constexpr optional() noexcept;