-\textbf{Key-Value $\langle K,V \rangle$ Pair} \\\r
-$k \in K$ \\\r
-$v \in V$ \\\r
-$\langle k,v \rangle \in P \subseteq K \times V$ \\\r
-$s \in SN \subseteq P*$ \\\r
-$slot_s = \langle s,E( \langle k,v \rangle ) \rangle$ \\\r
-$SN = \{sn_1, sn_2, \dots, sn_n\}$ \\\r
-$Q = \{slot_{sn_1}, slot_{sn_2}, \dots, slot_{sn_n}\}$ \\\r
+$s \in SN$ is a sequence number\\\r
+$sv \in SV$ is a slot's value\\\r
+$slot_s = \tuple{s, sv} \in Q \subseteq SN \times SV$ \\\r