fixup: apply feedback around wording

Author: notdanhan

source/lib-intro.tex

@@ -1828,8 +1828,8 @@
 \rSec4[cpp17.equalitycomparable]{\defnoldconcept{EqualityComparable} requirements}
 
 \pnum
-A type \tcode{T} is \oldconcept{EqualityComparable} if
-the following constraints are met:
+A type \tcode{T} meets the \oldconcept{EqualityComparable} requirements if the following
+statements and expressions are well-formed and have the specified semantics:
 \begin{itemdecl}
 a == b
 \end{itemdecl}
@@ -1852,8 +1852,8 @@
 \rSec4[cpp17.lessthancomparable]{\defnoldconcept{LessThanComparable} requirements}
 
 \pnum
-A type \tcode{T} is \oldconcept{LessThanComparable}
-if it satisfies the following constraints:
+A type \tcode{T} meets the \oldconcept{LessThanComparable} requirements if the following
+statements and expressions are well-formed and have the specified semantics:
 \begin{itemdecl}
 a < b
 \end{itemdecl}
@@ -1871,7 +1871,8 @@
 \rSec4[cpp17.defaultconstructible]{\defnoldconcept{DefaultConstructible} requirements}
 
 \pnum
-A type \tcode{T} is \oldconcept{DefaultConstructible}
+A type \tcode{T} meets the \oldconcept{DefaultConstructible} requirements if the following
+statements and expressions are well-formed and have the specified semantics:
 if it satisfies the following constraints:
 \begin{itemdecl}
 T t;
@@ -1907,8 +1908,8 @@
 \rSec4[cpp17.moveconstructible]{\defnoldconcept{MoveConstructible} requirements}
 
 \pnum
-A type \tcode{T} is \oldconcept{MoveConstructible}
-if it satisfies the following constraints:
+A type \tcode{T} meets the \oldconcept{MoveConstructible} requirements if the following
+statements and expressions are well-formed and have the specified semantics:
 \begin{itemdecl}
 T u = rv;
 \end{itemdecl}
@@ -1941,9 +1942,9 @@
 \rSec4[cpp17.copyconstructible]{\defnoldconcept{CopyConstructible} requirements}
 
 \pnum
-A type is \tcode{T} is \oldconcept{CopyConstructible}
-(in addition to \oldconcept{MoveConstructible}\iref{cpp17.moveconstructible}) if the following
-requirements are met:
+A type is \tcode{T} meets the \oldconcept{CopyConstructible} requirements
+(in addition to the \oldconcept{MoveConstructible}\iref{cpp17.moveconstructible} requirements)
+if the following statements and expressions are well-formed and have the specified semantics:
 \begin{itemdecl}
 T u = v;
 \end{itemdecl}
@@ -1967,8 +1968,8 @@
 \rSec4[cpp17.moveassignable]{\defnoldconcept{MoveAssignable} requirements}
 
 \pnum
-A type \tcode{T} is \oldconcept{MoveAssignable}
-if it satisfies the following constraints:
+A type \tcode{T} meets the \oldconcept{MoveAssignable} requirements if the following
+statements and expressions are well-formed and have the specified semantics:
 \begin{itemdecl}
 t = rv;
 \end{itemdecl}
@@ -2005,9 +2006,9 @@
 \rSec4[cpp17.copyassignable]{\defnoldconcept{CopyAssignable} requirements}
 
 \pnum
-A type \tcode{T} is \oldconcept{CopyAssignable}
-(in addition to \oldconcept{MoveAssignable}\iref{cpp17.moveassignable})
-if it satisfies the following constraints:
+A type \tcode{T} meets the \oldconcept{CopyAssignable} requirements
+(in addition to the \oldconcept{MoveAssignable}\iref{cpp17.moveassignable} requirements)
+if the following statements and expressions are well-formed and have the specified semantics:
 \begin{itemdecl}
 t = v
 \end{itemdecl}
@@ -2032,8 +2033,8 @@
 \rSec4[cpp17.destructible]{\defnoldconcept{Destructible} requirements}
 
 \pnum
-A type \tcode{T} is \oldconcept{Destructible}
-if it satisfies the following constraints:
+A type \tcode{T} meets the \oldconcept{Destructible} requirements if the following
+statements and expressions are well-formed and have the specified semantics:
 \begin{itemdecl}
 a.~T()
 \end{itemdecl}