\begin{enumerate}\r
\item Key-Value Entry is dead if either (a) there is a newer key-value pair or (b) it is incomplete.\r
\r
-\item Slot sequence number is dead if (of either a message version data\r
+\item Slot sequence number (of either a message version data\r
or user-level data) is dead if there is a newer slot from the same machine\r
\r
\item Queue state entry is dead if there is a newer queue state entry\r