diff --git a/source/classes.tex b/source/classes.tex
index deceff390e..42afe0785a 100644
--- a/source/classes.tex
+++ b/source/classes.tex
@@ -1425,7 +1425,7 @@
 Before the defaulted default constructor for a class is
 implicitly defined,
 all the non-user-provided default constructors for its base classes and
-its non-static data members shall have been implicitly defined.
+its non-static data members are implicitly defined.
 \begin{note}
 An implicitly-declared default constructor has an
 exception specification\iref{except.spec}.
@@ -1731,7 +1731,7 @@
 implicitly defined,
 all non-user-provided copy/move constructors for its
 potentially constructed subobjects
-shall have been implicitly defined.
+are implicitly defined.
 \begin{note}
 An implicitly-declared copy/move constructor has an
 implied exception specification\iref{except.spec}.
@@ -2035,7 +2035,7 @@
 implicitly defined,
 all non-user-provided copy/move assignment operators for
 its direct base classes and
-its non-static data members shall have been implicitly defined.
+its non-static data members are implicitly defined.
 \begin{note}
 An implicitly-declared copy/move assignment operator has an
 implied exception specification\iref{except.spec}.
@@ -2236,7 +2236,7 @@
 \pnum
 Before a
 defaulted destructor for a class is implicitly defined, all the non-user-provided
-destructors for its base classes and its non-static data members shall have been
+destructors for its base classes and its non-static data members are
 implicitly defined.
 
 \pnum