Update chapters/annotations.tex

Co-authored-by: Henrik Tidefelt <henrikt@wolfram.com>

chapters/annotations.tex

@@ -2090,7 +2090,8 @@ \subsection{Protection of Classes}\label{protection-of-classes}
 end P;
 \end{lstlisting}
 In order to not reveal the existence of the class \lstinline!P.MySecret!, a tool may choose to show the diagram with both \lstinline!mySecret! and all connections to it removed.
-(The tool could also choose to not show the diagram of \lstinline!P.M! at all.)
+(The tool could also choose to not show the diagram of \lstinline!P.M! at all, or even reject to load the package \lstinline!P! altogether.)
+As long as the invalid use of \lstinline!P.MySecret! occurs within the same top level package as where the class is defined (here, \lstinline!P!), a tool is allowed to silently ignore the use for purposes of model translation.
 When simulating \lstinline!P.M!, the tool must not store \lstinline!mySecret.y!.
 
 If a user enters