From d8b72f0ceb36b3537ef576ab216d588642e332ab Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Tue, 25 Jul 2023 18:26:03 +0000
Subject: [PATCH] [module.global.frag] Simplify wording

Also make variable order consistent across bullets.
---
 source/modules.tex | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/source/modules.tex b/source/modules.tex
index 3d299b553c..acb04fb625 100644
--- a/source/modules.tex
+++ b/source/modules.tex
@@ -639,14 +639,13 @@
 \item
 $D$ is decl-reachable from $M$, or
 \item
-$D$ redeclares the entity declared by $M$ or
-$M$ redeclares the entity declared by $D$,
+$D$ and $M$ declare the same entity,
 and $D$ neither is a friend declaration
 nor inhabits a block scope, or
 \item
 $D$ declares a namespace $N$ and $M$ is a member of $N$, or
 \item
-one of $M$ and $D$ declares a class or class template $C$
+one of $D$ and $M$ declares a class or class template $C$
 and the other declares a member or friend of $C$, or
 \item
 one of $D$ and $M$ declares an enumeration $E$
@@ -659,11 +658,11 @@
 \end{footnote}
 or
 \item
-one of $M$ and $D$ declares a template and the other declares
+one of $D$ and $M$ declares a template and the other declares
 a partial or explicit specialization or
 an implicit or explicit instantiation of that template, or
 \item
-one of $M$ and $D$ declares a class or enumeration type
+one of $D$ and $M$ declares a class or enumeration type
 and the other introduces a typedef name for linkage purposes for that type.
 \end{itemize}
 \end{itemize}