From aa8806c9fd156384afa474389c4fd3bfcb0102d7 Mon Sep 17 00:00:00 2001
From: Erik Johnston <erik.johnston@openmarket.com>
Date: Mon, 13 Oct 2014 13:37:05 +0100
Subject: [PATCH] Add deleting state section

---
 drafts/core_model.rst | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/drafts/core_model.rst b/drafts/core_model.rst
index c027f1fe..60b01fbe 100644
--- a/drafts/core_model.rst
+++ b/drafts/core_model.rst
@@ -121,4 +121,10 @@ those values in the graph.
 
 Deleting State
 ~~~~~~~~~~~~~~
-TODO
+State sections may also be deleted, i.e. removed from the state dictionary. The
+state events will still be present in the event graph.
+
+This is done by sending a special state event indicating that the given entry
+should be removed from the dictionary. These events follow the same rules for
+state resolution, with the added requirement that it loses all conflicts.
+[Note: This is required to make the algorithm transitive.]