diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index 45acf1c11..f9b59a5f2 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -1276,18 +1276,19 @@ \subsection{Inferencing of solverMethod}\label{inferencing-of-solvermethod}
 
 If a \lstinline!solverMethod! is not explicitly associated with a partition, it is inferred with a similar mechanism as for sub-clock inferencing, see \cref{sub-clock-inferencing}.
 
-For each sub-clock partition we build a set corresponding to this sub-clock partition.
-These sets are then merged as follows: for each set without a specified \lstinline!solverMethod! we merge it with sets connected to it (these may contain a \lstinline!solverMethod!); and this is repeated until it is not possible to merge more sets.
+First, one set is constructed for each sub-clock partition, containing just this sub-clock partition.
+These sets are then merged as follows:
+For each set without a specified \lstinline!solverMethod!, the set is merged with sets connected to it (these may contain a \lstinline!solverMethod!), and this is repeated until it is not possible to merge more sets.
 The sets connected in this way should be part of the same base-clock partition and connected through a sub-clock conversion operator (\lstinline!subSample!, \lstinline!superSample!, \lstinline!shiftSample!, \lstinline!backSample!, or \lstinline!noClock!).
 
 \begin{itemize}
-\item If this set contains multiple different values for \lstinline!solverMethod! it is an error.
+\item It is an error if this set contains multiple different values for \lstinline!solverMethod!.
 \item If the set contains continuous time-equations:
 \begin{itemize}
-\item If this set contains no \lstinline!solverMethod! it is an error.
-\item Otherwise we use the specified \lstinline!solverMethod!.
+\item It is an error if this set contains no \lstinline!solverMethod!.
+\item Otherwise, the specified \lstinline!solverMethod! is used.
 \end{itemize}
-\item If the set does not contain continuous time-equations there is no need for a \lstinline!solverMethod!.
+\item If the set does not contain continuous time-equations, there is no need for a \lstinline!solverMethod!.
 \end{itemize}
 
 \begin{example}