diff --git a/CIDFINMA_spec_Z.zed b/CIDFINMA_spec_Z.zed
index 6862b46..87dbe15 100644
--- a/CIDFINMA_spec_Z.zed
+++ b/CIDFINMA_spec_Z.zed
@@ -113,9 +113,11 @@ Specification requirements:
 
 
 \begin{schema}{CIDSTORINGNODESAUDITLOG}
- cidStoringNodesIds : \power NODEID 
+ cidStoringNodesIds : \power NODEID \\
+ NODE
 \where
- \# ( cidStoringNodesIds ) < 6
+ \# ( cidStoringNodesIds ) < 6\\
+ \forall cidDataCategory : \ran nodeDataCategories @ cidDataCategory \in CIDCATEGORIES \implies nodeId \in cidStoringNodesIds
 \end{schema}