diff --git a/contrib/math_deck/math_deck.aux b/contrib/math_deck/math_deck.aux
new file mode 100644
index 0000000..6fe172f
--- /dev/null
+++ b/contrib/math_deck/math_deck.aux
@@ -0,0 +1,282 @@
+\relax 
+\providecommand\hyper@newdestlabel[2]{}
+\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
+\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
+\global\let\oldcontentsline\contentsline
+\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
+\global\let\oldnewlabel\newlabel
+\gdef\newlabel#1#2{\newlabelxx{#1}#2}
+\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
+\AtEndDocument{\ifx\hyper@anchor\@undefined
+\let\contentsline\oldcontentsline
+\let\newlabel\oldnewlabel
+\fi}
+\fi}
+\global\let\hyper@last\relax 
+\gdef\HyperFirstAtBeginDocument#1{#1}
+\providecommand\HyField@AuxAddToFields[1]{}
+\providecommand\HyField@AuxAddToCoFields[2]{}
+\@writefile{toc}{\beamer@endinputifotherversion {3.36pt}}
+\@writefile{nav}{\beamer@endinputifotherversion {3.36pt}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
+\@writefile{toc}{\beamer@sectionintoc {1}{Introduction}{2}{0}{1}}
+\@writefile{nav}{\headcommand {\sectionentry {1}{Introduction}{2}{Introduction}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{1}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{1}}}
+\@writefile{nav}{\headcommand {\slideentry {1}{0}{1}{2/2}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
+\@writefile{nav}{\headcommand {\slideentry {1}{0}{2}{3/3}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}}
+\@writefile{toc}{\beamer@sectionintoc {2}{Language Preliminaries}{4}{0}{2}}
+\@writefile{nav}{\headcommand {\sectionentry {2}{Language Preliminaries}{4}{Language Preliminaries}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {2}{3}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {2}{3}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{1}{4/4}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {4}{4}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{2}{5/5}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {5}{5}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{3}{6/6}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {6}{6}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{7/7}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {7}{7}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{8/8}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {8}{8}}}
+\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{9/9}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {9}{9}}}
+\@writefile{toc}{\beamer@sectionintoc {3}{Paillier Encryption}{10}{0}{3}}
+\@writefile{nav}{\headcommand {\sectionentry {3}{Paillier Encryption}{10}{Paillier Encryption}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {4}{9}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {4}{9}}}
+\@writefile{nav}{\headcommand {\slideentry {3}{0}{1}{10/10}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}}
+\@writefile{nav}{\headcommand {\slideentry {3}{0}{2}{11/11}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}}
+\@writefile{nav}{\headcommand {\slideentry {3}{0}{3}{12/12}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}}
+\@writefile{nav}{\headcommand {\slideentry {3}{0}{4}{13/13}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {13}{13}}}
+\@writefile{nav}{\headcommand {\slideentry {3}{0}{5}{14/14}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {14}{14}}}
+\@writefile{toc}{\beamer@sectionintoc {4}{General Paillier Algorithm}{15}{0}{4}}
+\@writefile{nav}{\headcommand {\sectionentry {4}{General Paillier Algorithm}{15}{General Paillier Algorithm}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {10}{14}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {10}{14}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{1}{15/15}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{2}{16/16}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces General Paillier encryption and decryption.}}}
+\newlabel{alg.paillier_encrypt_original}{{1}{17}{General Paillier Algorithm}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.paillier_encrypt_original}{17}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{3}{17/17}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {17}{17}}}
+\@writefile{nav}{\headcommand {\slideentry {4}{0}{4}{18/18}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}}
+\@writefile{toc}{\beamer@sectionintoc {5}{Paillier As Used In \NAME  }{19}{0}{5}}
+\@writefile{nav}{\headcommand {\sectionentry {5}{Paillier As Used In \NAME  }{19}{Paillier As Used In \NAME  }{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {15}{18}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {15}{18}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{1}{19/19}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{2}{20/20}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{3}{21/21}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces Paillier encryption and decryption}}}
+\newlabel{alg.paillier_encrypt}{{2}{22}{Paillier As Used In \NAME }{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.paillier_encrypt}{22}}
+\newlabel{step.div}{{5}{22}{Paillier As Used In \NAME }{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.div}{22}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{4}{22/22}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}}
+\@writefile{nav}{\headcommand {\slideentry {5}{0}{5}{23/23}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {23}{23}}}
+\@writefile{toc}{\beamer@sectionintoc {6}{Wideskies}{24}{0}{6}}
+\@writefile{nav}{\headcommand {\sectionentry {6}{Wideskies}{24}{Wideskies}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {19}{23}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {19}{23}}}
+\@writefile{nav}{\headcommand {\slideentry {6}{0}{1}{24/24}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {24}{24}}}
+\@writefile{nav}{\headcommand {\slideentry {6}{0}{2}{25/25}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {25}{25}}}
+\@writefile{nav}{\headcommand {\slideentry {6}{0}{3}{26/26}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {26}{26}}}
+\@writefile{nav}{\headcommand {\slideentry {6}{0}{4}{27/27}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
+\@writefile{toc}{\beamer@sectionintoc {7}{Wideskies Algorithm, Without Encryption}{28}{0}{7}}
+\@writefile{nav}{\headcommand {\sectionentry {7}{Wideskies Algorithm, Without Encryption}{28}{Wideskies Algorithm, Without Encryption}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {24}{27}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {24}{27}}}
+\@writefile{nav}{\headcommand {\slideentry {7}{0}{1}{28/28}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {28}{28}}}
+\@writefile{nav}{\headcommand {\slideentry {7}{0}{2}{29/29}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {29}{29}}}
+\@writefile{toc}{\beamer@sectionintoc {8}{Query, Without Encryption}{30}{0}{8}}
+\@writefile{nav}{\headcommand {\sectionentry {8}{Query, Without Encryption}{30}{Query, Without Encryption}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {28}{29}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {28}{29}}}
+\@writefile{nav}{\headcommand {\slideentry {8}{0}{1}{30/30}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {3}{\ignorespaces Query Formation Algorithm version 1}}}
+\newlabel{alg.plain_form_1}{{3}{31}{Query, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.plain_form_1}{31}}
+\newlabel{step.key}{{1}{31}{Query, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.key}{31}}
+\newlabel{step.set}{{6}{31}{Query, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.set}{31}}
+\@writefile{nav}{\headcommand {\slideentry {8}{0}{2}{31/31}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {31}{31}}}
+\@writefile{nav}{\headcommand {\slideentry {8}{0}{3}{32/32}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {32}{32}}}
+\@writefile{toc}{\beamer@sectionintoc {9}{Response, Without Encryption}{33}{0}{9}}
+\@writefile{nav}{\headcommand {\sectionentry {9}{Response, Without Encryption}{33}{Response, Without Encryption}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {30}{32}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {30}{32}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{1}{33/33}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {33}{33}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{2}{34/34}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{3}{35/35}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {35}{35}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {4}{\ignorespaces Stream processing, plaintext version}}}
+\newlabel{alg.plain_stream}{{4}{36}{Response, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.plain_stream}{36}}
+\newlabel{step.if}{{4}{36}{Response, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.if}{36}}
+\newlabel{step.return}{{5}{36}{Response, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.return}{36}}
+\newlabel{step.multiply}{{9}{36}{Response, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.multiply}{36}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{4}{36/36}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {36}{36}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{5}{37/37}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {37}{37}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{6}{38/38}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {38}{38}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{7}{39/39}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {39}{39}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{8}{40/40}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {40}{40}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{9}{41/41}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {41}{41}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{10}{42/42}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {42}{42}}}
+\@writefile{nav}{\headcommand {\slideentry {9}{0}{11}{43/43}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}}
+\@writefile{toc}{\beamer@sectionintoc {10}{Result, Without Encryption}{44}{0}{10}}
+\@writefile{nav}{\headcommand {\sectionentry {10}{Result, Without Encryption}{44}{Result, Without Encryption}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {33}{43}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {33}{43}}}
+\@writefile{nav}{\headcommand {\slideentry {10}{0}{1}{44/44}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {44}{44}}}
+\@writefile{nav}{\headcommand {\slideentry {10}{0}{2}{45/45}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {45}{45}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {5}{\ignorespaces Data recovery, plaintext version}}}
+\newlabel{alg.plain_recover}{{5}{46}{Result, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.plain_recover}{46}}
+\newlabel{step.mask}{{4}{46}{Result, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.mask}{46}}
+\newlabel{step.shift}{{5}{46}{Result, Without Encryption}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.shift}{46}}
+\@writefile{nav}{\headcommand {\slideentry {10}{0}{3}{46/46}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {46}{46}}}
+\@writefile{toc}{\beamer@sectionintoc {11}{Wideskies Algorithm, With Encryption}{47}{0}{11}}
+\@writefile{nav}{\headcommand {\sectionentry {11}{Wideskies Algorithm, With Encryption}{47}{Wideskies Algorithm, With Encryption}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {44}{46}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {44}{46}}}
+\@writefile{nav}{\headcommand {\slideentry {11}{0}{1}{47/47}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {47}{47}}}
+\@writefile{nav}{\headcommand {\slideentry {11}{0}{2}{48/48}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {48}{48}}}
+\@writefile{toc}{\beamer@sectionintoc {12}{Query, Encrypted}{49}{0}{12}}
+\@writefile{nav}{\headcommand {\sectionentry {12}{Query, Encrypted}{49}{Query, Encrypted}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {47}{48}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {47}{48}}}
+\@writefile{nav}{\headcommand {\slideentry {12}{0}{1}{49/49}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {49}{49}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {6}{\ignorespaces Query formation, ciphertext version 1}}}
+\newlabel{alg.cipher_form_1}{{6}{50}{Query, Encrypted}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.cipher_form_1}{50}}
+\newlabel{step.key_2}{{1}{50}{Query, Encrypted}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.key_2}{50}}
+\@writefile{nav}{\headcommand {\slideentry {12}{0}{2}{50/50}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {50}{50}}}
+\@writefile{toc}{\beamer@sectionintoc {13}{Response, Encrypted}{51}{0}{13}}
+\@writefile{nav}{\headcommand {\sectionentry {13}{Response, Encrypted}{51}{Response, Encrypted}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {49}{50}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {49}{50}}}
+\@writefile{nav}{\headcommand {\slideentry {13}{0}{1}{51/51}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {51}{51}}}
+\@writefile{nav}{\headcommand {\slideentry {13}{0}{2}{52/52}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {52}{52}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {7}{\ignorespaces Stream processing, ciphertext version}}}
+\newlabel{alg.cipher_processing}{{7}{53}{Response, Encrypted}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.cipher_processing}{53}}
+\newlabel{step.datachunk}{{10}{53}{Response, Encrypted}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {step.datachunk}{53}}
+\@writefile{nav}{\headcommand {\slideentry {13}{0}{3}{53/53}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {53}{53}}}
+\@writefile{toc}{\beamer@sectionintoc {14}{Result, Encrypted}{54}{0}{14}}
+\@writefile{nav}{\headcommand {\sectionentry {14}{Result, Encrypted}{54}{Result, Encrypted}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {51}{53}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {51}{53}}}
+\@writefile{nav}{\headcommand {\slideentry {14}{0}{1}{54/54}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {54}{54}}}
+\@writefile{nav}{\headcommand {\slideentry {14}{0}{2}{55/55}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {55}{55}}}
+\@writefile{toc}{\beamer@sectionintoc {15}{Distributed Version}{56}{0}{15}}
+\@writefile{nav}{\headcommand {\sectionentry {15}{Distributed Version}{56}{Distributed Version}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {54}{55}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {54}{55}}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{1}{56/56}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {56}{56}}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{2}{57/57}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {57}{57}}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{3}{58/58}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {58}{58}}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{4}{59/59}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {59}{59}}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{5}{60/60}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {60}{60}}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{6}{61/61}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {61}{61}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {8}{\ignorespaces Responder - Matrix Variant}}}
+\newlabel{alg.matrix_processing}{{8}{62}{Distributed Version}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.matrix_processing}{62}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{7}{62/62}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {62}{62}}}
+\@writefile{loa}{\contentsline {algorithm}{\numberline {9}{\ignorespaces Responder - Distributed Variant}}}
+\newlabel{alg.dist_processing}{{9}{63}{Distributed Version}{Doc-Start}{}}
+\@writefile{snm}{\beamer@slide {alg.dist_processing}{63}}
+\@writefile{nav}{\headcommand {\slideentry {15}{0}{8}{63/63}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {63}{63}}}
+\@writefile{toc}{\beamer@sectionintoc {16}{`Actual' Example}{64}{0}{16}}
+\@writefile{nav}{\headcommand {\sectionentry {16}{`Actual' Example}{64}{`Actual' Example}{0}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {56}{63}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {56}{63}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{1}{64/64}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {64}{64}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{2}{65/65}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {65}{65}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{3}{66/66}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {66}{66}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{4}{67/67}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {67}{67}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{5}{68/68}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {68}{68}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{6}{69/69}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {69}{69}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{7}{70/70}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {70}{70}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{8}{71/71}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {71}{71}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{9}{72/72}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {72}{72}}}
+\@writefile{nav}{\headcommand {\slideentry {16}{0}{10}{73/73}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {73}{73}}}
+\@writefile{nav}{\headcommand {\beamer@partpages {1}{73}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {64}{73}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {64}{73}}}
+\@writefile{nav}{\headcommand {\beamer@documentpages {73}}}
+\@writefile{nav}{\headcommand {\def \inserttotalframenumber {73}}}
diff --git a/contrib/math_deck/math_deck.dvi b/contrib/math_deck/math_deck.dvi
new file mode 100644
index 0000000..554ed8d
--- /dev/null
+++ b/contrib/math_deck/math_deck.dvi
Binary files differ
diff --git a/contrib/math_deck/math_deck.nav b/contrib/math_deck/math_deck.nav
new file mode 100644
index 0000000..321be65
--- /dev/null
+++ b/contrib/math_deck/math_deck.nav
@@ -0,0 +1,200 @@
+\beamer@endinputifotherversion {3.36pt}
+\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}
+\headcommand {\beamer@framepages {1}{1}}
+\headcommand {\sectionentry {1}{Introduction}{2}{Introduction}{0}}
+\headcommand {\beamer@sectionpages {1}{1}}
+\headcommand {\beamer@subsectionpages {1}{1}}
+\headcommand {\slideentry {1}{0}{1}{2/2}{}{0}}
+\headcommand {\beamer@framepages {2}{2}}
+\headcommand {\slideentry {1}{0}{2}{3/3}{}{0}}
+\headcommand {\beamer@framepages {3}{3}}
+\headcommand {\sectionentry {2}{Language Preliminaries}{4}{Language Preliminaries}{0}}
+\headcommand {\beamer@sectionpages {2}{3}}
+\headcommand {\beamer@subsectionpages {2}{3}}
+\headcommand {\slideentry {2}{0}{1}{4/4}{}{0}}
+\headcommand {\beamer@framepages {4}{4}}
+\headcommand {\slideentry {2}{0}{2}{5/5}{}{0}}
+\headcommand {\beamer@framepages {5}{5}}
+\headcommand {\slideentry {2}{0}{3}{6/6}{}{0}}
+\headcommand {\beamer@framepages {6}{6}}
+\headcommand {\slideentry {2}{0}{4}{7/7}{}{0}}
+\headcommand {\beamer@framepages {7}{7}}
+\headcommand {\slideentry {2}{0}{5}{8/8}{}{0}}
+\headcommand {\beamer@framepages {8}{8}}
+\headcommand {\slideentry {2}{0}{6}{9/9}{}{0}}
+\headcommand {\beamer@framepages {9}{9}}
+\headcommand {\sectionentry {3}{Paillier Encryption}{10}{Paillier Encryption}{0}}
+\headcommand {\beamer@sectionpages {4}{9}}
+\headcommand {\beamer@subsectionpages {4}{9}}
+\headcommand {\slideentry {3}{0}{1}{10/10}{}{0}}
+\headcommand {\beamer@framepages {10}{10}}
+\headcommand {\slideentry {3}{0}{2}{11/11}{}{0}}
+\headcommand {\beamer@framepages {11}{11}}
+\headcommand {\slideentry {3}{0}{3}{12/12}{}{0}}
+\headcommand {\beamer@framepages {12}{12}}
+\headcommand {\slideentry {3}{0}{4}{13/13}{}{0}}
+\headcommand {\beamer@framepages {13}{13}}
+\headcommand {\slideentry {3}{0}{5}{14/14}{}{0}}
+\headcommand {\beamer@framepages {14}{14}}
+\headcommand {\sectionentry {4}{General Paillier Algorithm}{15}{General Paillier Algorithm}{0}}
+\headcommand {\beamer@sectionpages {10}{14}}
+\headcommand {\beamer@subsectionpages {10}{14}}
+\headcommand {\slideentry {4}{0}{1}{15/15}{}{0}}
+\headcommand {\beamer@framepages {15}{15}}
+\headcommand {\slideentry {4}{0}{2}{16/16}{}{0}}
+\headcommand {\beamer@framepages {16}{16}}
+\headcommand {\slideentry {4}{0}{3}{17/17}{}{0}}
+\headcommand {\beamer@framepages {17}{17}}
+\headcommand {\slideentry {4}{0}{4}{18/18}{}{0}}
+\headcommand {\beamer@framepages {18}{18}}
+\headcommand {\sectionentry {5}{Paillier As Used In \NAME }{19}{Paillier As Used In \NAME }{0}}
+\headcommand {\beamer@sectionpages {15}{18}}
+\headcommand {\beamer@subsectionpages {15}{18}}
+\headcommand {\slideentry {5}{0}{1}{19/19}{}{0}}
+\headcommand {\beamer@framepages {19}{19}}
+\headcommand {\slideentry {5}{0}{2}{20/20}{}{0}}
+\headcommand {\beamer@framepages {20}{20}}
+\headcommand {\slideentry {5}{0}{3}{21/21}{}{0}}
+\headcommand {\beamer@framepages {21}{21}}
+\headcommand {\slideentry {5}{0}{4}{22/22}{}{0}}
+\headcommand {\beamer@framepages {22}{22}}
+\headcommand {\slideentry {5}{0}{5}{23/23}{}{0}}
+\headcommand {\beamer@framepages {23}{23}}
+\headcommand {\sectionentry {6}{Wideskies}{24}{Wideskies}{0}}
+\headcommand {\beamer@sectionpages {19}{23}}
+\headcommand {\beamer@subsectionpages {19}{23}}
+\headcommand {\slideentry {6}{0}{1}{24/24}{}{0}}
+\headcommand {\beamer@framepages {24}{24}}
+\headcommand {\slideentry {6}{0}{2}{25/25}{}{0}}
+\headcommand {\beamer@framepages {25}{25}}
+\headcommand {\slideentry {6}{0}{3}{26/26}{}{0}}
+\headcommand {\beamer@framepages {26}{26}}
+\headcommand {\slideentry {6}{0}{4}{27/27}{}{0}}
+\headcommand {\beamer@framepages {27}{27}}
+\headcommand {\sectionentry {7}{Wideskies Algorithm, Without Encryption}{28}{Wideskies Algorithm, Without Encryption}{0}}
+\headcommand {\beamer@sectionpages {24}{27}}
+\headcommand {\beamer@subsectionpages {24}{27}}
+\headcommand {\slideentry {7}{0}{1}{28/28}{}{0}}
+\headcommand {\beamer@framepages {28}{28}}
+\headcommand {\slideentry {7}{0}{2}{29/29}{}{0}}
+\headcommand {\beamer@framepages {29}{29}}
+\headcommand {\sectionentry {8}{Query, Without Encryption}{30}{Query, Without Encryption}{0}}
+\headcommand {\beamer@sectionpages {28}{29}}
+\headcommand {\beamer@subsectionpages {28}{29}}
+\headcommand {\slideentry {8}{0}{1}{30/30}{}{0}}
+\headcommand {\beamer@framepages {30}{30}}
+\headcommand {\slideentry {8}{0}{2}{31/31}{}{0}}
+\headcommand {\beamer@framepages {31}{31}}
+\headcommand {\slideentry {8}{0}{3}{32/32}{}{0}}
+\headcommand {\beamer@framepages {32}{32}}
+\headcommand {\sectionentry {9}{Response, Without Encryption}{33}{Response, Without Encryption}{0}}
+\headcommand {\beamer@sectionpages {30}{32}}
+\headcommand {\beamer@subsectionpages {30}{32}}
+\headcommand {\slideentry {9}{0}{1}{33/33}{}{0}}
+\headcommand {\beamer@framepages {33}{33}}
+\headcommand {\slideentry {9}{0}{2}{34/34}{}{0}}
+\headcommand {\beamer@framepages {34}{34}}
+\headcommand {\slideentry {9}{0}{3}{35/35}{}{0}}
+\headcommand {\beamer@framepages {35}{35}}
+\headcommand {\slideentry {9}{0}{4}{36/36}{}{0}}
+\headcommand {\beamer@framepages {36}{36}}
+\headcommand {\slideentry {9}{0}{5}{37/37}{}{0}}
+\headcommand {\beamer@framepages {37}{37}}
+\headcommand {\slideentry {9}{0}{6}{38/38}{}{0}}
+\headcommand {\beamer@framepages {38}{38}}
+\headcommand {\slideentry {9}{0}{7}{39/39}{}{0}}
+\headcommand {\beamer@framepages {39}{39}}
+\headcommand {\slideentry {9}{0}{8}{40/40}{}{0}}
+\headcommand {\beamer@framepages {40}{40}}
+\headcommand {\slideentry {9}{0}{9}{41/41}{}{0}}
+\headcommand {\beamer@framepages {41}{41}}
+\headcommand {\slideentry {9}{0}{10}{42/42}{}{0}}
+\headcommand {\beamer@framepages {42}{42}}
+\headcommand {\slideentry {9}{0}{11}{43/43}{}{0}}
+\headcommand {\beamer@framepages {43}{43}}
+\headcommand {\sectionentry {10}{Result, Without Encryption}{44}{Result, Without Encryption}{0}}
+\headcommand {\beamer@sectionpages {33}{43}}
+\headcommand {\beamer@subsectionpages {33}{43}}
+\headcommand {\slideentry {10}{0}{1}{44/44}{}{0}}
+\headcommand {\beamer@framepages {44}{44}}
+\headcommand {\slideentry {10}{0}{2}{45/45}{}{0}}
+\headcommand {\beamer@framepages {45}{45}}
+\headcommand {\slideentry {10}{0}{3}{46/46}{}{0}}
+\headcommand {\beamer@framepages {46}{46}}
+\headcommand {\sectionentry {11}{Wideskies Algorithm, With Encryption}{47}{Wideskies Algorithm, With Encryption}{0}}
+\headcommand {\beamer@sectionpages {44}{46}}
+\headcommand {\beamer@subsectionpages {44}{46}}
+\headcommand {\slideentry {11}{0}{1}{47/47}{}{0}}
+\headcommand {\beamer@framepages {47}{47}}
+\headcommand {\slideentry {11}{0}{2}{48/48}{}{0}}
+\headcommand {\beamer@framepages {48}{48}}
+\headcommand {\sectionentry {12}{Query, Encrypted}{49}{Query, Encrypted}{0}}
+\headcommand {\beamer@sectionpages {47}{48}}
+\headcommand {\beamer@subsectionpages {47}{48}}
+\headcommand {\slideentry {12}{0}{1}{49/49}{}{0}}
+\headcommand {\beamer@framepages {49}{49}}
+\headcommand {\slideentry {12}{0}{2}{50/50}{}{0}}
+\headcommand {\beamer@framepages {50}{50}}
+\headcommand {\sectionentry {13}{Response, Encrypted}{51}{Response, Encrypted}{0}}
+\headcommand {\beamer@sectionpages {49}{50}}
+\headcommand {\beamer@subsectionpages {49}{50}}
+\headcommand {\slideentry {13}{0}{1}{51/51}{}{0}}
+\headcommand {\beamer@framepages {51}{51}}
+\headcommand {\slideentry {13}{0}{2}{52/52}{}{0}}
+\headcommand {\beamer@framepages {52}{52}}
+\headcommand {\slideentry {13}{0}{3}{53/53}{}{0}}
+\headcommand {\beamer@framepages {53}{53}}
+\headcommand {\sectionentry {14}{Result, Encrypted}{54}{Result, Encrypted}{0}}
+\headcommand {\beamer@sectionpages {51}{53}}
+\headcommand {\beamer@subsectionpages {51}{53}}
+\headcommand {\slideentry {14}{0}{1}{54/54}{}{0}}
+\headcommand {\beamer@framepages {54}{54}}
+\headcommand {\slideentry {14}{0}{2}{55/55}{}{0}}
+\headcommand {\beamer@framepages {55}{55}}
+\headcommand {\sectionentry {15}{Distributed Version}{56}{Distributed Version}{0}}
+\headcommand {\beamer@sectionpages {54}{55}}
+\headcommand {\beamer@subsectionpages {54}{55}}
+\headcommand {\slideentry {15}{0}{1}{56/56}{}{0}}
+\headcommand {\beamer@framepages {56}{56}}
+\headcommand {\slideentry {15}{0}{2}{57/57}{}{0}}
+\headcommand {\beamer@framepages {57}{57}}
+\headcommand {\slideentry {15}{0}{3}{58/58}{}{0}}
+\headcommand {\beamer@framepages {58}{58}}
+\headcommand {\slideentry {15}{0}{4}{59/59}{}{0}}
+\headcommand {\beamer@framepages {59}{59}}
+\headcommand {\slideentry {15}{0}{5}{60/60}{}{0}}
+\headcommand {\beamer@framepages {60}{60}}
+\headcommand {\slideentry {15}{0}{6}{61/61}{}{0}}
+\headcommand {\beamer@framepages {61}{61}}
+\headcommand {\slideentry {15}{0}{7}{62/62}{}{0}}
+\headcommand {\beamer@framepages {62}{62}}
+\headcommand {\slideentry {15}{0}{8}{63/63}{}{0}}
+\headcommand {\beamer@framepages {63}{63}}
+\headcommand {\sectionentry {16}{`Actual' Example}{64}{`Actual' Example}{0}}
+\headcommand {\beamer@sectionpages {56}{63}}
+\headcommand {\beamer@subsectionpages {56}{63}}
+\headcommand {\slideentry {16}{0}{1}{64/64}{}{0}}
+\headcommand {\beamer@framepages {64}{64}}
+\headcommand {\slideentry {16}{0}{2}{65/65}{}{0}}
+\headcommand {\beamer@framepages {65}{65}}
+\headcommand {\slideentry {16}{0}{3}{66/66}{}{0}}
+\headcommand {\beamer@framepages {66}{66}}
+\headcommand {\slideentry {16}{0}{4}{67/67}{}{0}}
+\headcommand {\beamer@framepages {67}{67}}
+\headcommand {\slideentry {16}{0}{5}{68/68}{}{0}}
+\headcommand {\beamer@framepages {68}{68}}
+\headcommand {\slideentry {16}{0}{6}{69/69}{}{0}}
+\headcommand {\beamer@framepages {69}{69}}
+\headcommand {\slideentry {16}{0}{7}{70/70}{}{0}}
+\headcommand {\beamer@framepages {70}{70}}
+\headcommand {\slideentry {16}{0}{8}{71/71}{}{0}}
+\headcommand {\beamer@framepages {71}{71}}
+\headcommand {\slideentry {16}{0}{9}{72/72}{}{0}}
+\headcommand {\beamer@framepages {72}{72}}
+\headcommand {\slideentry {16}{0}{10}{73/73}{}{0}}
+\headcommand {\beamer@framepages {73}{73}}
+\headcommand {\beamer@partpages {1}{73}}
+\headcommand {\beamer@subsectionpages {64}{73}}
+\headcommand {\beamer@sectionpages {64}{73}}
+\headcommand {\beamer@documentpages {73}}
+\headcommand {\def \inserttotalframenumber {73}}
diff --git a/contrib/math_deck/math_deck.out b/contrib/math_deck/math_deck.out
new file mode 100644
index 0000000..1b42267
--- /dev/null
+++ b/contrib/math_deck/math_deck.out
@@ -0,0 +1,16 @@
+\BOOKMARK [2][]{Outline0.1}{Introduction}{}% 1
+\BOOKMARK [2][]{Outline0.2}{Language Preliminaries}{}% 2
+\BOOKMARK [2][]{Outline0.3}{Paillier Encryption}{}% 3
+\BOOKMARK [2][]{Outline0.4}{General Paillier Algorithm}{}% 4
+\BOOKMARK [2][]{Outline0.5}{Paillier As Used In Wideskies}{}% 5
+\BOOKMARK [2][]{Outline0.6}{Wideskies}{}% 6
+\BOOKMARK [2][]{Outline0.7}{Wideskies Algorithm, Without Encryption}{}% 7
+\BOOKMARK [2][]{Outline0.8}{Query, Without Encryption}{}% 8
+\BOOKMARK [2][]{Outline0.9}{Response, Without Encryption}{}% 9
+\BOOKMARK [2][]{Outline0.10}{Result, Without Encryption}{}% 10
+\BOOKMARK [2][]{Outline0.11}{Wideskies Algorithm, With Encryption}{}% 11
+\BOOKMARK [2][]{Outline0.12}{Query, Encrypted}{}% 12
+\BOOKMARK [2][]{Outline0.13}{Response, Encrypted}{}% 13
+\BOOKMARK [2][]{Outline0.14}{Result, Encrypted}{}% 14
+\BOOKMARK [2][]{Outline0.15}{Distributed Version}{}% 15
+\BOOKMARK [2][]{Outline0.16}{`Actual' Example}{}% 16
diff --git a/contrib/math_deck/math_deck.pdf b/contrib/math_deck/math_deck.pdf
new file mode 100644
index 0000000..e9035c8
--- /dev/null
+++ b/contrib/math_deck/math_deck.pdf
Binary files differ
diff --git a/contrib/math_deck/math_deck.snm b/contrib/math_deck/math_deck.snm
new file mode 100644
index 0000000..5b19e26
--- /dev/null
+++ b/contrib/math_deck/math_deck.snm
@@ -0,0 +1,19 @@
+\beamer@slide {alg.paillier_encrypt_original}{17}
+\beamer@slide {alg.paillier_encrypt}{22}
+\beamer@slide {step.div}{22}
+\beamer@slide {alg.plain_form_1}{31}
+\beamer@slide {step.key}{31}
+\beamer@slide {step.set}{31}
+\beamer@slide {alg.plain_stream}{36}
+\beamer@slide {step.if}{36}
+\beamer@slide {step.return}{36}
+\beamer@slide {step.multiply}{36}
+\beamer@slide {alg.plain_recover}{46}
+\beamer@slide {step.mask}{46}
+\beamer@slide {step.shift}{46}
+\beamer@slide {alg.cipher_form_1}{50}
+\beamer@slide {step.key_2}{50}
+\beamer@slide {alg.cipher_processing}{53}
+\beamer@slide {step.datachunk}{53}
+\beamer@slide {alg.matrix_processing}{62}
+\beamer@slide {alg.dist_processing}{63}
diff --git a/contrib/math_deck/math_deck.tex b/contrib/math_deck/math_deck.tex
index 370dadd..5018ae0 100644
--- a/contrib/math_deck/math_deck.tex
+++ b/contrib/math_deck/math_deck.tex
@@ -1,3 +1,21 @@
+%
+% Licensed to the Apache Software Foundation (ASF) under one
+% or more contributor license agreements.  See the NOTICE file
+% distributed with this work for additional information
+% regarding copyright ownership.  The ASF licenses this file
+% to you under the Apache License, Version 2.0 (the
+% "License"); you may not use this file except in compliance
+% with the License.  You may obtain a copy of the License at
+%
+%   http://www.apache.org/licenses/LICENSE-2.0
+%
+% Unless required by applicable law or agreed to in writing,
+% software distributed under the License is distributed on an
+% "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+% KIND, either express or implied.  See the License for the
+% specific language governing permissions and limitations
+% under the License.
+%
 \documentclass{beamer}
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
@@ -283,7 +301,7 @@
   \begin{algorithmic}[1]
     \Procedure{Paillier encryption}{}
     \State \Given \(N\) and a message \(m\in\zmodn\)
-    \State \Select a random value \(\zeta\in\zmodntunits\)
+    \State \Select a random value \(\zeta\in \left(\zmodn\right)^{\times}\)
     \State \Return \(\mathcal{E}(m) = (1+mN)\zeta^{N}\bmod{N^{2}}\)
     \EndProcedure
   \end{algorithmic}
diff --git a/contrib/math_deck/math_deck.toc b/contrib/math_deck/math_deck.toc
new file mode 100644
index 0000000..8a35306
--- /dev/null
+++ b/contrib/math_deck/math_deck.toc
@@ -0,0 +1,17 @@
+\beamer@endinputifotherversion {3.36pt}
+\beamer@sectionintoc {1}{Introduction}{2}{0}{1}
+\beamer@sectionintoc {2}{Language Preliminaries}{4}{0}{2}
+\beamer@sectionintoc {3}{Paillier Encryption}{10}{0}{3}
+\beamer@sectionintoc {4}{General Paillier Algorithm}{15}{0}{4}
+\beamer@sectionintoc {5}{Paillier As Used In \NAME }{19}{0}{5}
+\beamer@sectionintoc {6}{Wideskies}{24}{0}{6}
+\beamer@sectionintoc {7}{Wideskies Algorithm, Without Encryption}{28}{0}{7}
+\beamer@sectionintoc {8}{Query, Without Encryption}{30}{0}{8}
+\beamer@sectionintoc {9}{Response, Without Encryption}{33}{0}{9}
+\beamer@sectionintoc {10}{Result, Without Encryption}{44}{0}{10}
+\beamer@sectionintoc {11}{Wideskies Algorithm, With Encryption}{47}{0}{11}
+\beamer@sectionintoc {12}{Query, Encrypted}{49}{0}{12}
+\beamer@sectionintoc {13}{Response, Encrypted}{51}{0}{13}
+\beamer@sectionintoc {14}{Result, Encrypted}{54}{0}{14}
+\beamer@sectionintoc {15}{Distributed Version}{56}{0}{15}
+\beamer@sectionintoc {16}{`Actual' Example}{64}{0}{16}