@@ -5727,6 +5727,9 @@
 \pnum
 \throws
 \tcode{meta::exception} unless
+all of the following conditions are met:
+\begin{itemize}
+\item
 \tcode{dealias(r)} is a reflection of a
 type,
 object,
@@ -5736,8 +5739,10 @@
 direct base class relationship, or
 data member description $(T, N, A, W, \mathit{NUA})$\iref{class.mem.general}
 where $W$ is not $\bot$.
+\item
 If \tcode{dealias(r)} represents a type,
 then \tcode{is_complete_type(r)} is \tcode{true}.
+\end{itemize}
 \end{itemdescr}
 
 \indexlibraryglobal{alignment_of}%
@@ -5774,15 +5779,20 @@
 \pnum
 \throws
 \tcode{meta::exception} unless
+all of the following conditions are met:
+\begin{itemize}
+\item
 \tcode{dealias(r)} is a reflection of a
 type,
 object,
 variable of non-reference type,
 non-static data member that is not a bit-field,
 direct base class relationship, or
 data member description.
+\item
 If \tcode{dealias(r)} represents a type,
 then \tcode{is_complete_type(r)} is \tcode{true}.
+\end{itemize}
 \end{itemdescr}
 
 \indexlibraryglobal{bit_size_of}%
@@ -5812,6 +5822,9 @@
 \pnum
 \throws
 \tcode{meta::exception} unless
+all of the following conditions are met:
+\begin{itemize}
+\item
 \tcode{dealias(r)} is a reflection of a
 type,
 object,
@@ -5821,8 +5834,10 @@
 unnamed bit-field,
 direct base class relationship, or
 data member description.
+\item
 If \tcode{dealias(r)} represents a type $T$,
 there is a point within the evaluation context from which $T$ is not incomplete.
+\end{itemize}
 \end{itemdescr}
 
 \rSec2[meta.reflection.extract]{Value extraction}