Fixed the assertion.

Author: janpgit

synchro.tex

@@ -86,7 +86,7 @@
 \begin{itemize}
 \item more possibilities:
 \begin{enumerate}
-\item structure is in inconsistent state, e.g. \texttt{(1, 1)}
+\item the structure is in a consistent state, e.g. \texttt{(1, 1)}
 \item process \texttt{B} writes \texttt{2} into member \texttt{a}
 \item process \texttt{A} reads the value of the structure \texttt{(2, 1)}
 earlier than process \texttt{B} writes member \texttt{b}