diff --git a/doc/fsm/offerer.gv b/doc/fsm/offerer.gv
index 79055602642123541670d5d5695ba23e199acd8f..7b680011a565053f9d0248574b089ecf7fc4d097 100644
--- a/doc/fsm/offerer.gv
+++ b/doc/fsm/offerer.gv
@@ -45,7 +45,7 @@ digraph finite_state_machine {
     stash
     "];
 
-    OffererMakingOffer -> Committed [label = "newPartner : Accept(someOffer) =>
+    OffererMakingOffer -> Committed [label = "potentialPartner : Accept(someOffer) =>
     unstashall
     self.fullyCommit(self.var, newPartner,  )
     self.partner = newPartner
@@ -63,6 +63,10 @@ digraph finite_state_machine {
     broadcast ! InformDelta(self.myDelta)
     "];
 
+    OffererMakingOffer -> OffererMakingOffer [label = "someNeighbour : RejectOffer(offer) =>
+    Nothing
+    "];
+
 
 
 /*THE END?*/
diff --git a/doc/fsm/uncommited.gv b/doc/fsm/uncommited.gv
index a3e033df73dbc22768aa69cd4e2edef52b85ac52..32d7e44e1e16e040a18f8c5dec0e52e7526f194a 100644
--- a/doc/fsm/uncommited.gv
+++ b/doc/fsm/uncommited.gv
@@ -70,6 +70,16 @@ digraph finite_state_machine {
     self.neighbourDeltas.put(neighbour, delta)
     "];
 
+    /*reject*/
+    Uncommitted -> Uncommitted [label = "neighbour : Reject(someOffer) =>
+    Nothing
+    "];
+
+    /*reject*/
+    Uncommitted -> Uncommitted [label = "neighbour : MakeOffer(someOffer) =>
+    Nothing
+    "];
+
     /*uncommitted*/
     Uncommitted -> ActSolo [label = "neighbour : InformDelta(delta) && (#self.neighbourDeltas == #self.neighbours-1) =>
     self.neighbourDeltas.put(neighbour, delta)