Clarify property formulation

IntersectMBO · Sep 30, 2019 · dc32c07 · dc32c07
1 parent 459c9a8
commit dc32c07
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/shelley/chain-and-ledger/formal-spec/Properties.md b/shelley/chain-and-ledger/formal-spec/Properties.md
@@ -46,6 +46,10 @@ Pots in scope: Rewards
 **Property** The rewards to do not change (both as an aggregated value
 and as individual balances).
 
+*Note:* here we consider elements that are not present to have a value of 0. On
+the implementation there is a difference between an element which is not present
+in the rewards map and an element with a 0 rewards balance.
+
 ### DELEGS
 
 Pots in scope: Rewards