diff --git a/source/modules.tex b/source/modules.tex
index 5895871c7f..ec48bd5ca7 100644
--- a/source/modules.tex
+++ b/source/modules.tex
@@ -982,9 +982,9 @@
 \pnum
 All translation units that are necessarily reachable are
 \defnx{reachable}{reachable!translation unit}.
-It is unspecified whether additional translation units on which the
-point within the program has an interface dependency are considered reachable,
-and under what circumstances.%
+Additional translation units on which the
+point within the program has an interface dependency may be considered reachable,
+but it is unspecified which are and under what circumstances.%
 \footnote{Implementations are therefore not required to prevent the semantic
 effects of additional translation units involved in the compilation from being
 observed.}