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 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