Added to guarantees

diff --git a/version2/doc/iotcloud.tex b/version2/doc/iotcloud.tex
index 3acd7aa0d63ec62e1eaa9940593d8c13c262208a..ce1142fdd4bb281d5dbe3bf4d662f3757eebc36c 100644 (file)
--- a/version2/doc/iotcloud.tex
+++ b/version2/doc/iotcloud.tex
@@ -286,7 +286,8 @@ Live Status of entries:
     \item No currently valid data can be lost by the system and go undetected.\r
     \item Devices can operate offline and re-sync with the system and get a consistent view of the system\r
     \item If the server tries to hold a device on an older version of the data structure, that device can eventually rejoin the main data structure without problems.\r
     \item No currently valid data can be lost by the system and go undetected.\r
     \item Devices can operate offline and re-sync with the system and get a consistent view of the system\r
     \item If the server tries to hold a device on an older version of the data structure, that device can eventually rejoin the main data structure without problems.\r

-    \item Devices that have a transaction aborted will be able to be notified about the abort indefinately (no time frame when notification must be accepted).\r
+    \item Devices that have a transaction aborted will be able to be notified about the abort indefinitely (no time frame when notification must be accepted).\r
+    \items Server cannot hold a device on an old version of the data structure and then move them to a newer version of the data structure without being detected (The server sequence numbers would reveal conflicts or gaps or both).\r

 \r
 \end{itemize}\r
     \r
 \r
 \end{itemize}\r
     \r