WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23337,7 +23337,9 @@ \subsection{Same Type}
 like subtyping relationships
 (\ref{subtypes})
 or upper and lower bounds
-(\ref{standardUpperBoundsAndStandardLowerBounds}).
+(\ref{standardUpperBoundsAndStandardLowerBounds}),
+because it is concerned with relationships among program elements
+that occur in different binding environments.
 
 \commentary{%
   The notion of being the same type at run time is different from