From a635623cbbd6daa0db564ed0379c27662fce942e Mon Sep 17 00:00:00 2001
From: Daniel T <30197399+danwt@users.noreply.github.com>
Date: Fri, 20 May 2022 13:45:32 +0100
Subject: [PATCH] Use `h < hp'` instead of `h <= hp'` in Bond-Based Consumer
 Voting Power (#749)

---
 .../system_model_and_properties.md                              | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec/app/ics-028-cross-chain-validation/system_model_and_properties.md b/spec/app/ics-028-cross-chain-validation/system_model_and_properties.md
index 17c5772e0..9ba5a2b2f 100644
--- a/spec/app/ics-028-cross-chain-validation/system_model_and_properties.md
+++ b/spec/app/ics-028-cross-chain-validation/system_model_and_properties.md
@@ -120,7 +120,7 @@ CCV provides the following system properties.
   
   Then for all heights `h` on the provider chain, 
    ```
-  hp <= h <= hp': Power(cc,hc,val) <= VP(pBonded(h,val))
+  hp <= h < hp': Power(cc,hc,val) <= VP(pBonded(h,val))
   ```
 
   > **Intuition**: The *Bond-Based Consumer Voting Power* property ensures that validators that validate on the consumer chains have enough tokens bonded on the provider chain for a sufficient amount of time such that the security model holds.