\BOOKMARK [2][-]{subsection.4.4}{Create New Key Operation}{section.4}% 24
\BOOKMARK [1][-]{section.5}{System Guarantees}{}% 25
\BOOKMARK [1][-]{section.6}{System Correctness}{}% 26
+\BOOKMARK [2][-]{subsection.6.1}{Data Integrity and Authentication}{section.6}% 27
+\BOOKMARK [2][-]{subsection.6.2}{Ordering of Records}{section.6}% 28
+\BOOKMARK [2][-]{subsection.6.3}{Data Structure Functions}{section.6}% 29
+\BOOKMARK [3][-]{subsubsection.6.3.1}{Put}{subsection.6.3}% 30
+\BOOKMARK [3][-]{subsubsection.6.3.2}{Get}{subsection.6.3}% 31
+\BOOKMARK [3][-]{subsubsection.6.3.3}{Create New Key}{subsection.6.3}% 32