\documentclass{article}
\input{6824-preamble}

\begin{document}
\psetnum{14}
\date{2004/04/21}

\begin{pset}
  If only \textit{valTS} is stored, the following procedure will give
  incorrect semantics: $C_1$ writes a new value to group
  $\set{X,Y,Z}$, but crashes after writing the value only to $Y$. Then
  if $C_2$ happens to contact only $X$ or $Z$ while performing the
  read, it will not be aware that an incomplete write took place, and
  will not write back any value to all replicas. Then $Y$ has the new
  value, but $X$ and $Z$ still have the old value, which is
  inconsistent.
\end{pset}
\end{document}
