diff --git a/Implication_workshop/11_12_2016/MSSM7_active_functor_graph.pdf b/Implication_workshop/11_12_2016/MSSM7_active_functor_graph.pdf
deleted file mode 100644
index 36b4a13..0000000
--- a/Implication_workshop/11_12_2016/MSSM7_active_functor_graph.pdf
+++ /dev/null
Binary files differ
diff --git a/Implication_workshop/11_12_2016/mchrzasz.aux b/Implication_workshop/11_12_2016/mchrzasz.aux
index 4bdd7f5..01a140e 100644
--- a/Implication_workshop/11_12_2016/mchrzasz.aux
+++ b/Implication_workshop/11_12_2016/mchrzasz.aux
@@ -41,20 +41,20 @@
\pgfsyspdfmark {pgfid7}{0}{0}
\HyPL@Entry{2<
>}
\pgfsyspdfmark {pgfid8}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/3}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}}
\pgfsyspdfmark {pgfid9}{0}{0}
\pgfsyspdfmark {pgfid10}{0}{0}
+\HyPL@Entry{3<>}
\pgfsyspdfmark {pgfid11}{23867907}{17900937}
\pgfsyspdfmark {pgfid12}{0}{0}
\pgfsyspdfmark {pgfid13}{0}{0}
\pgfsyspdfmark {pgfid14}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/5}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {3}{5}}}
\pgfsyspdfmark {pgfid15}{0}{0}
\pgfsyspdfmark {pgfid16}{0}{0}
-\HyPL@Entry{5<>}
\pgfsyspdfmark {pgfid17}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{6/6}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {6}{6}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{4/6}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {4}{6}}}
\pgfsyspdfmark {pgfid18}{0}{0}
\pgfsyspdfmark {pgfid19}{0}{0}
\HyPL@Entry{6<>}
@@ -71,65 +71,65 @@
\pgfsyspdfmark {pgfid25}{0}{0}
\HyPL@Entry{8<>}
\pgfsyspdfmark {pgfid26}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{9/9}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {9}{9}}}
\pgfsyspdfmark {pgfid27}{0}{0}
\pgfsyspdfmark {pgfid28}{0}{0}
+\HyPL@Entry{9<>}
\pgfsyspdfmark {pgfid29}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{9/10}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {9}{10}}}
\pgfsyspdfmark {pgfid30}{0}{0}
\pgfsyspdfmark {pgfid31}{0}{0}
-\HyPL@Entry{10<>}
\pgfsyspdfmark {pgfid32}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{11/11}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{10/11}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {10}{11}}}
\pgfsyspdfmark {pgfid33}{0}{0}
\pgfsyspdfmark {pgfid34}{0}{0}
\HyPL@Entry{11<>}
\pgfsyspdfmark {pgfid35}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{12/12}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}}
\pgfsyspdfmark {pgfid36}{0}{0}
\pgfsyspdfmark {pgfid37}{0}{0}
+\HyPL@Entry{12<>}
\pgfsyspdfmark {pgfid38}{23867907}{17900937}
\pgfsyspdfmark {pgfid39}{0}{0}
\pgfsyspdfmark {pgfid40}{0}{0}
\pgfsyspdfmark {pgfid41}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{12/14}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {12}{14}}}
\pgfsyspdfmark {pgfid42}{0}{0}
\pgfsyspdfmark {pgfid43}{0}{0}
-\HyPL@Entry{14<>}
\pgfsyspdfmark {pgfid44}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{15/15}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{13/15}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {13}{15}}}
\pgfsyspdfmark {pgfid45}{0}{0}
\pgfsyspdfmark {pgfid46}{0}{0}
\HyPL@Entry{15<>}
\pgfsyspdfmark {pgfid47}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{16/16}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}}
\pgfsyspdfmark {pgfid48}{0}{0}
\pgfsyspdfmark {pgfid49}{0}{0}
+\HyPL@Entry{16<>}
\pgfsyspdfmark {pgfid50}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{17/17}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {17}{17}}}
\pgfsyspdfmark {pgfid51}{0}{0}
\pgfsyspdfmark {pgfid52}{0}{0}
+\HyPL@Entry{17<>}
\pgfsyspdfmark {pgfid53}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{16/18}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {16}{18}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{18/18}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}}
\pgfsyspdfmark {pgfid54}{0}{0}
\pgfsyspdfmark {pgfid55}{0}{0}
-\HyPL@Entry{18<>}
+\HyPL@Entry{18<>}
\pgfsyspdfmark {pgfid56}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{19/19}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}}
\pgfsyspdfmark {pgfid57}{0}{0}
\pgfsyspdfmark {pgfid58}{0}{0}
-\HyPL@Entry{19<>}
\pgfsyspdfmark {pgfid59}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{20/20}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}}
\pgfsyspdfmark {pgfid60}{0}{0}
\pgfsyspdfmark {pgfid61}{0}{0}
-\HyPL@Entry{20<>}
\pgfsyspdfmark {pgfid62}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{14}{21/21}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{14}{19/21}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {19}{21}}}
\pgfsyspdfmark {pgfid63}{0}{0}
\pgfsyspdfmark {pgfid64}{0}{0}
\HyPL@Entry{21<>}
@@ -139,65 +139,86 @@
\pgfsyspdfmark {pgfid66}{0}{0}
\pgfsyspdfmark {pgfid67}{0}{0}
\HyPL@Entry{22<>}
+\pgfsyspdfmark {pgfid68}{23867907}{17900937}
+\pgfsyspdfmark {pgfid69}{0}{0}
+\pgfsyspdfmark {pgfid70}{0}{0}
\pgfsyspdfmark {pgfid71}{23867907}{17900937}
-\pgfsyspdfmark {pgfid72}{0}{0}
-\pgfsyspdfmark {pgfid73}{0}{0}
-\pgfsyspdfmark {pgfid77}{23867907}{17900937}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{16}{23/24}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {23}{24}}}
-\pgfsyspdfmark {pgfid78}{0}{0}
-\pgfsyspdfmark {pgfid79}{0}{0}
+\pgfsyspdfmark {pgfid72}{0}{0}
+\pgfsyspdfmark {pgfid73}{0}{0}
\HyPL@Entry{24<>}
-\pgfsyspdfmark {pgfid80}{23867907}{17900937}
+\pgfsyspdfmark {pgfid74}{23867907}{17900937}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{17}{25/25}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {25}{25}}}
-\pgfsyspdfmark {pgfid81}{0}{0}
-\pgfsyspdfmark {pgfid82}{0}{0}
+\pgfsyspdfmark {pgfid75}{0}{0}
+\pgfsyspdfmark {pgfid76}{0}{0}
\HyPL@Entry{25<>}
-\pgfsyspdfmark {pgfid83}{23867907}{17900937}
+\pgfsyspdfmark {pgfid77}{23867907}{17900937}
\@writefile{nav}{\headcommand {\slideentry {0}{0}{18}{26/26}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {26}{26}}}
+\pgfsyspdfmark {pgfid78}{0}{0}
+\pgfsyspdfmark {pgfid79}{0}{0}
+\HyPL@Entry{26<>}
+\pgfsyspdfmark {pgfid83}{23867907}{17900937}
\pgfsyspdfmark {pgfid84}{0}{0}
\pgfsyspdfmark {pgfid85}{0}{0}
-\HyPL@Entry{26<>}
-\pgfsyspdfmark {pgfid86}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{19}{27/27}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {27}{27}}}
-\pgfsyspdfmark {pgfid87}{0}{0}
-\pgfsyspdfmark {pgfid88}{0}{0}
-\HyPL@Entry{27<>}
\pgfsyspdfmark {pgfid89}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{20}{28/28}{}{0}}}
-\@writefile{nav}{\headcommand {\beamer@framepages {28}{28}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{19}{27/28}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {27}{28}}}
\pgfsyspdfmark {pgfid90}{0}{0}
\pgfsyspdfmark {pgfid91}{0}{0}
-\HyPL@Entry{28<>}
+\HyPL@Entry{28<>}
\pgfsyspdfmark {pgfid92}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{21}{29/29}{}{0}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{20}{29/29}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {29}{29}}}
\pgfsyspdfmark {pgfid93}{0}{0}
\pgfsyspdfmark {pgfid94}{0}{0}
-\HyPL@Entry{29<>}
-\pgfsyspdfmark {pgfid96}{23867907}{17900937}
-\pgfsyspdfmark {pgfid95}{1432016}{9861799}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{22}{30/30}{}{0}}}
+\HyPL@Entry{29<>}
+\pgfsyspdfmark {pgfid95}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{21}{30/30}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {30}{30}}}
+\pgfsyspdfmark {pgfid96}{0}{0}
\pgfsyspdfmark {pgfid97}{0}{0}
-\pgfsyspdfmark {pgfid98}{0}{0}
-\HyPL@Entry{30<>}
-\pgfsyspdfmark {pgfid99}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{23}{31/31}{}{0}}}
+\HyPL@Entry{30<>}
+\pgfsyspdfmark {pgfid98}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{22}{31/31}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {31}{31}}}
+\pgfsyspdfmark {pgfid99}{0}{0}
\pgfsyspdfmark {pgfid100}{0}{0}
-\pgfsyspdfmark {pgfid101}{0}{0}
-\HyPL@Entry{31<>}
-\pgfsyspdfmark {pgfid102}{23867907}{17900937}
-\@writefile{nav}{\headcommand {\slideentry {0}{0}{24}{32/32}{}{0}}}
+\HyPL@Entry{31<>}
+\pgfsyspdfmark {pgfid101}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{23}{32/32}{}{0}}}
\@writefile{nav}{\headcommand {\beamer@framepages {32}{32}}}
+\pgfsyspdfmark {pgfid102}{0}{0}
\pgfsyspdfmark {pgfid103}{0}{0}
-\pgfsyspdfmark {pgfid104}{0}{0}
-\@writefile{nav}{\headcommand {\beamer@partpages {1}{32}}}
-\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{32}}}
-\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{32}}}
-\@writefile{nav}{\headcommand {\beamer@documentpages {32}}}
-\@writefile{nav}{\headcommand {\def \inserttotalframenumber {21}}}
+\HyPL@Entry{32<>}
+\pgfsyspdfmark {pgfid104}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{24}{33/33}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {33}{33}}}
+\pgfsyspdfmark {pgfid105}{0}{0}
+\pgfsyspdfmark {pgfid106}{0}{0}
+\HyPL@Entry{33<>}
+\pgfsyspdfmark {pgfid107}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{25}{34/34}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {34}{34}}}
+\pgfsyspdfmark {pgfid108}{0}{0}
+\pgfsyspdfmark {pgfid109}{0}{0}
+\HyPL@Entry{34<>}
+\pgfsyspdfmark {pgfid111}{23867907}{17900937}
+\pgfsyspdfmark {pgfid110}{1432016}{9861799}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{26}{35/35}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {35}{35}}}
+\pgfsyspdfmark {pgfid112}{0}{0}
+\pgfsyspdfmark {pgfid113}{0}{0}
+\HyPL@Entry{35<>}
+\pgfsyspdfmark {pgfid114}{23867907}{17900937}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{27}{36/36}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {36}{36}}}
+\pgfsyspdfmark {pgfid115}{0}{0}
+\pgfsyspdfmark {pgfid116}{0}{0}
+\@writefile{nav}{\headcommand {\beamer@partpages {1}{36}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{36}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{36}}}
+\@writefile{nav}{\headcommand {\beamer@documentpages {36}}}
+\@writefile{nav}{\headcommand {\def \inserttotalframenumber {25}}}
diff --git a/Implication_workshop/11_12_2016/mchrzasz.log b/Implication_workshop/11_12_2016/mchrzasz.log
index f9d89d0..ba22cf6 100644
--- a/Implication_workshop/11_12_2016/mchrzasz.log
+++ b/Implication_workshop/11_12_2016/mchrzasz.log
@@ -1,4 +1,4 @@
-This is XeTeX, Version 3.1415926-2.5-0.9999.3 (TeX Live 2013/Debian) (format=xelatex 2015.4.1) 11 DEC 2016 23:40
+This is XeTeX, Version 3.1415926-2.5-0.9999.3 (TeX Live 2013/Debian) (format=xelatex 2015.4.1) 12 DEC 2016 11:43
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
@@ -2692,7 +2692,7 @@
. This font family consists of the following shapes:
.................................................
-Overfull \vbox (4.34248pt too high) detected at line 271
+Overfull \vbox (4.34248pt too high) detected at line 272
[]
File: images/bubble2.jpg Graphic file (type QTm)
@@ -2738,15 +2738,13 @@
]
LaTeX Font Info: External font `plex10' loaded for size
-(Font) <9> on input line 322.
+(Font) <24.88> on input line 302.
LaTeX Font Info: External font `plex10' loaded for size
-(Font) <14.4> on input line 322.
-
-Overfull \vbox (12.38576pt too high) detected at line 322
- []
-
+(Font) <20.74> on input line 302.
+LaTeX Font Info: External font `plex10' loaded for size
+(Font) <17.28> on input line 302.
File: images/BG_lower.png Graphic file (type QTm)
-