diff --git a/terminology.md b/terminology.md
index 1d9b9f0..acb1e6b 100644
--- a/terminology.md
+++ b/terminology.md
@@ -13,7 +13,10 @@ In order alphabetically by `Label` then by `Term`, or just `Term` if there is no
 
 |Label | Term                                | Definition      |
 |------| ----------------------------------  | --------------- |
-| CP | Liveness             | Every correct propsed value will eventually be accepted by correct nodes. aka something good happens. | 
+| CP | Chain Agreement with Immediate Finality |   At any point in time, for any two nodes `n1` and `n2`, either the blockchain of `n1` is a prefix of the blockchain of `n2` or the blockhain of `n2` is a prefix for the blockchain of `n1`. If two blockchains are identical, then each of them is a prefix of the other. |
+| CP | Honest Chain Growth  | For any point in time `t` and any node `n`, there exists a fine value `τ` such that the length of the blockchain of node `n` at time `t+τ` includes block proposed by honest nodes that were not included in the blockchain for node `n` at time `t`. |
+| CP | Robust Consensus Protocol with Immediate Finality | A consensus protocol with immediate finality is robust if and only if it guarantees all of the following properties: <ul><li>Chain Agreement with Immediate Finality<li>Honest Chain Growth</ul> |
+| CP | Liveness             | Every correct propsed value will eventually be accepted by correct nodes. aka something good happens. |  
 | CP| Persistence         | ??
 | CP | Safety              | If a value is committed by a correct node, then that value will eventually be commited by all correct nodes. Two correct nodes will never commit to different values. aka nothing bad happens. 
 || Cryptographic Hash Function         | A collision resistant hash function that cannot feasibly be reversed by a computationally bound adversary.