SimplerThanProposedRestrictionIsImplicit

chapters/equations.tex

@@ -255,7 +255,7 @@ \subsubsection{Defining When-Equations by If-Expressions in Equality Equations}\
 The start values of the introduced \lstinline!Boolean! variables are defined by the taking the start value of the when-condition, as above where \lstinline!b! is a parameter variable.
 The start value of the special functions \lstinline!initial!, \lstinline!terminal!, and \lstinline!sample! is \lstinline!false!.
 
-\subsubsection{Restrictions on Where a When-Equation may Occur}\label{restrictions-on-where-a-when-equation-may-occur}
+\subsubsection{Where a When-Equation may Occur}\label{restrictions-on-where-a-when-equation-may-occur}\label{where-a-when-equation-may-occur}
 
 \begin{itemize}
 \item
@@ -277,7 +277,7 @@ \subsubsection{Restrictions on Where a When-Equation may Occur}\label{restrictio
 \end{lstlisting}
 \end{example}
 
-\subsubsection{Restrictions on Equations within When-Equations}\label{restrictions-on-equations-within-when-equations}
+\subsubsection{Equations within When-Equations}\label{restrictions-on-equations-within-when-equations}\label{equations-within-when-equations}
 
 The equations within the \lstinline!when!-equation must have one of the following forms:
 \begin{itemize}