From 080ae95b19635e6be2eb3001d0d6b642ab8edd4c Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Wed, 29 Jun 2016 16:39:31 -0700
Subject: [PATCH] Force proof on failed write

---
 doc/iotcloud.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/iotcloud.tex b/doc/iotcloud.tex
index 1d4e556..b4dd588 100644
--- a/doc/iotcloud.tex
+++ b/doc/iotcloud.tex
@@ -76,7 +76,8 @@ entries or all newer data entries.
 \paragraph{Writes:}
 Client sends slot, server verifies that sequence number is valid,
 checks entry hash, and replies with an accept message if all checks
-pass.  On success, client updates its sequence number.
+pass.  On success, client updates its sequence number.  On failure,
+server sends updates slots to client and client validates those slots.
 
 \paragraph{Local state on each client:}
 A list of machines and the corresponding latest sequence numbers
-- 
2.34.1