diff --git a/racket/typed/leader-and-seller.pml b/racket/typed/leader-and-seller.pml
index 30707e6..3bb4b59 100644
--- a/racket/typed/leader-and-seller.pml
+++ b/racket/typed/leader-and-seller.pml
@@ -88,7 +88,6 @@ active proctype Leader() {
             assert(asserting_IBI);
             asserting_IBI = false;
             RETRACT(IBI);
-            IBI_assertions = IBI_assertions - 1;
          :: ASSERTED(BI) && !know_BI ->
             leader_state = announce;
             assert(asserting_IBI);