Updates, added README

1 files changed, 149 insertions, 142 deletions

diff --git a/slides/preplogic-slides.log b/slides/preplogic-slides.log
index 84c03e8..eb2b9e7 100644
--- a/slides/preplogic-slides.log
+++ b/slides/preplogic-slides.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29)  6 SEP 2020 17:56
+This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/VoidLinux) (preloaded format=pdflatex 2020.8.29)  6 SEP 2020 18:23
 entering extended mode
  restricted \write18 enabled.
  file:line:error style messages enabled.
@@ -513,22 +513,22 @@ File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode
 ) (./preplogic-slides.aux)
 \openout1 = `preplogic-slides.aux'.
 
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
-LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
-LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 31.
-LaTeX Font Info:    ... okay on input line 31.
+LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
+LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
+LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
+LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
+LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
+LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
+LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
+LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 30.
+LaTeX Font Info:    ... okay on input line 30.
 
 *geometry* driver: auto-detecting
 *geometry* detected driver: pdftex
@@ -584,7 +584,7 @@ Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 48
 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live
 )) ABD: EveryShipout initializing macros
 \AtBeginShipoutBox=\box75
-Package hyperref Info: Link coloring OFF on input line 31.
+Package hyperref Info: Link coloring OFF on input line 30.
  (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
 Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section
  (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty
@@ -594,55 +594,55 @@ Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
 )
 \c@section@level=\count320
 )
-LaTeX Info: Redefining \ref on input line 31.
-LaTeX Info: Redefining \pageref on input line 31.
-LaTeX Info: Redefining \nameref on input line 31.
+LaTeX Info: Redefining \ref on input line 30.
+LaTeX Info: Redefining \pageref on input line 30.
+LaTeX Info: Redefining \nameref on input line 30.
  (./preplogic-slides.out) (./preplogic-slides.out)
 \@outlinefile=\write5
 \openout5 = `preplogic-slides.out'.
 
 LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
-(Font)                  OT1/cmr/m/n --> OT1/cmss/m/n on input line 31.
+(Font)                  OT1/cmr/m/n --> OT1/cmss/m/n on input line 30.
 LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
-(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
+(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
 \symnumbers=\mathgroup6
 \sympureletters=\mathgroup7
 LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `normal'
-(Font)                  OT1/cmss/m/n --> OT1/cmr/m/n on input line 31.
-LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 31.
+(Font)                  OT1/cmss/m/n --> OT1/cmr/m/n on input line 30.
+LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
-(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
+(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
-(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 31.
-LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 31.
+(Font)                  OT1/cmr/bx/n --> OT1/cmss/b/n on input line 30.
+LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
-(Font)                  OT1/cmss/m/n --> OT1/cmss/m/n on input line 31.
+(Font)                  OT1/cmss/m/n --> OT1/cmss/m/n on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
-(Font)                  OT1/cmss/bx/n --> OT1/cmss/m/n on input line 31.
-LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 31.
+(Font)                  OT1/cmss/bx/n --> OT1/cmss/m/n on input line 30.
+LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
-(Font)                  OT1/cmr/m/it --> OT1/cmss/m/it on input line 31.
+(Font)                  OT1/cmr/m/it --> OT1/cmss/m/it on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
-(Font)                  OT1/cmr/bx/it --> OT1/cmss/m/it on input line 31.
-LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 31.
+(Font)                  OT1/cmr/bx/it --> OT1/cmss/m/it on input line 30.
+LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
-(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31.
+(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
-(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 31.
+(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 30.
 LaTeX Font Info:    Overwriting symbol font `numbers' in version `bold'
-(Font)                  OT1/cmss/m/n --> OT1/cmss/b/n on input line 31.
+(Font)                  OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
 LaTeX Font Info:    Overwriting symbol font `pureletters' in version `bold'
-(Font)                  OT1/cmss/m/it --> OT1/cmss/b/it on input line 31.
+(Font)                  OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `bold'
-(Font)                  OT1/cmss/b/n --> OT1/cmr/b/n on input line 31.
+(Font)                  OT1/cmss/b/n --> OT1/cmr/b/n on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
-(Font)                  OT1/cmss/b/n --> OT1/cmss/b/n on input line 31.
+(Font)                  OT1/cmss/b/n --> OT1/cmss/b/n on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
-(Font)                  OT1/cmss/m/n --> OT1/cmss/b/n on input line 31.
+(Font)                  OT1/cmss/m/n --> OT1/cmss/b/n on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
-(Font)                  OT1/cmss/m/it --> OT1/cmss/b/it on input line 31.
+(Font)                  OT1/cmss/m/it --> OT1/cmss/b/it on input line 30.
 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
-(Font)                  OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 31.
+(Font)                  OT1/cmtt/m/n --> OT1/cmtt/b/n on input line 30.
  (/usr/share/texmf-dist/tex/latex/translator/translator-basic-dictionary-English.dict
 Dictionary: translator-basic-dictionary, Language: English 
 ) (/usr/share/texmf-dist/tex/latex/translator/translator-bibliography-dictionary-English.dict
@@ -656,521 +656,528 @@ Dictionary: translator-numbers-dictionary, Language: English
 ) (/usr/share/texmf-dist/tex/latex/translator/translator-theorem-dictionary-English.dict
 Dictionary: translator-theorem-dictionary, Language: English 
 ) (./preplogic-slides.nav)
-<unilu.jpg, id=60, 645.16031pt x 578.16pt>
+<unilu.jpg, id=40, 645.16031pt x 578.16pt>
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 35.
+Package pdftex.def Info: unilu.jpg  used on input line 34.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [1
 
 {/usr/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map} <./unilu.jpg>] (./preplogic-slides.toc)
-LaTeX Font Info:    Trying to load font information for U+msa on input line 44.
- (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2013/01/14 v3.01 AMS symbols A
-)
-LaTeX Font Info:    Trying to load font information for U+msb on input line 44.
- (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2013/01/14 v3.01 AMS symbols B
-)
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 44.
+Package pdftex.def Info: unilu.jpg  used on input line 39.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [2
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 71.
+Package pdftex.def Info: unilu.jpg  used on input line 66.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [3
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 71.
+Package pdftex.def Info: unilu.jpg  used on input line 66.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [4
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 71.
+Package pdftex.def Info: unilu.jpg  used on input line 66.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [5
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 71.
+Package pdftex.def Info: unilu.jpg  used on input line 66.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [6
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 71.
+Package pdftex.def Info: unilu.jpg  used on input line 66.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [7
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 71.
+Package pdftex.def Info: unilu.jpg  used on input line 66.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [8
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 71.
+Package pdftex.def Info: unilu.jpg  used on input line 66.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [9
 
 ]
+LaTeX Font Info:    Trying to load font information for U+msa on input line 76.
+ (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A
+)
+LaTeX Font Info:    Trying to load font information for U+msb on input line 76.
+ (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B
+)
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 81.
+Package pdftex.def Info: unilu.jpg  used on input line 76.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [10
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 99.
+Package pdftex.def Info: unilu.jpg  used on input line 94.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [11
 
 ]
 
 LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
-(Font)              using `OT1/cmss/b/it' instead on input line 117.
+(Font)              using `OT1/cmss/b/it' instead on input line 112.
 
 
 LaTeX Font Warning: Font shape `OT1/cmss/b/it' undefined
-(Font)              using `OT1/cmss/m/n' instead on input line 117.
+(Font)              using `OT1/cmss/m/n' instead on input line 112.
 
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 117.
+Package pdftex.def Info: unilu.jpg  used on input line 112.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
 [12
 
 ]
 
 LaTeX Font Warning: Font shape `OT1/cmss/bx/it' undefined
-(Font)              using `OT1/cmss/b/it' instead on input line 117.
+(Font)              using `OT1/cmss/b/it' instead on input line 112.
 
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 117.
+Package pdftex.def Info: unilu.jpg  used on input line 112.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
 [13
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 135.
+Package pdftex.def Info: unilu.jpg  used on input line 130.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [14
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 135.
+Package pdftex.def Info: unilu.jpg  used on input line 130.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [15
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 153.
+Package pdftex.def Info: unilu.jpg  used on input line 148.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [16
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 153.
+Package pdftex.def Info: unilu.jpg  used on input line 148.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [17
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 178.
+Package pdftex.def Info: unilu.jpg  used on input line 173.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [18
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 178.
+Package pdftex.def Info: unilu.jpg  used on input line 173.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [19
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 178.
+Package pdftex.def Info: unilu.jpg  used on input line 173.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [20
 
 ]
-Overfull \hbox (1.01225pt too wide) detected at line 205
+Overfull \hbox (1.01225pt too wide) detected at line 200
 []
  []
 
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 205.
+Package pdftex.def Info: unilu.jpg  used on input line 200.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
 [21
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 216.
+Package pdftex.def Info: unilu.jpg  used on input line 211.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [22
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 216.
+Package pdftex.def Info: unilu.jpg  used on input line 211.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [23
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 216.
+Package pdftex.def Info: unilu.jpg  used on input line 211.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [24
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 237.
+Package pdftex.def Info: unilu.jpg  used on input line 232.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [25
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 237.
+Package pdftex.def Info: unilu.jpg  used on input line 232.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [26
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 255.
+Package pdftex.def Info: unilu.jpg  used on input line 250.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [27
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 276.
+Package pdftex.def Info: unilu.jpg  used on input line 271.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [28
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 276.
+Package pdftex.def Info: unilu.jpg  used on input line 271.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [29
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 276.
+Package pdftex.def Info: unilu.jpg  used on input line 271.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [30
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 305.
+Package pdftex.def Info: unilu.jpg  used on input line 300.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [31
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 305.
+Package pdftex.def Info: unilu.jpg  used on input line 300.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [32
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 305.
+Package pdftex.def Info: unilu.jpg  used on input line 300.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [33
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 315.
+Package pdftex.def Info: unilu.jpg  used on input line 310.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [34
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 330.
+Package pdftex.def Info: unilu.jpg  used on input line 325.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [35
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 330.
+Package pdftex.def Info: unilu.jpg  used on input line 325.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [36
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 330.
+Package pdftex.def Info: unilu.jpg  used on input line 325.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [37
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 336.
+Package pdftex.def Info: unilu.jpg  used on input line 333.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [38
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 353.
+Package pdftex.def Info: unilu.jpg  used on input line 341.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [39
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 353.
+Package pdftex.def Info: unilu.jpg  used on input line 359.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [40
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 370.
+Package pdftex.def Info: unilu.jpg  used on input line 359.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [41
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 388.
+Package pdftex.def Info: unilu.jpg  used on input line 376.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [42
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 388.
+Package pdftex.def Info: unilu.jpg  used on input line 394.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [43
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 388.
+Package pdftex.def Info: unilu.jpg  used on input line 394.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [44
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 392.
+Package pdftex.def Info: unilu.jpg  used on input line 394.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [45
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 409.
+Package pdftex.def Info: unilu.jpg  used on input line 398.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [46
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 409.
+Package pdftex.def Info: unilu.jpg  used on input line 415.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [47
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 409.
+Package pdftex.def Info: unilu.jpg  used on input line 415.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [48
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 409.
+Package pdftex.def Info: unilu.jpg  used on input line 415.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [49
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 430.
+Package pdftex.def Info: unilu.jpg  used on input line 415.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [50
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 430.
+Package pdftex.def Info: unilu.jpg  used on input line 436.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [51
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 430.
+Package pdftex.def Info: unilu.jpg  used on input line 436.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [52
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 430.
+Package pdftex.def Info: unilu.jpg  used on input line 436.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [53
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 430.
+Package pdftex.def Info: unilu.jpg  used on input line 436.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [54
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 448.
+Package pdftex.def Info: unilu.jpg  used on input line 436.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [55
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 448.
+Package pdftex.def Info: unilu.jpg  used on input line 454.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [56
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 472.
+Package pdftex.def Info: unilu.jpg  used on input line 454.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [57
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 472.
+Package pdftex.def Info: unilu.jpg  used on input line 478.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [58
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 472.
+Package pdftex.def Info: unilu.jpg  used on input line 478.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [59
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 472.
+Package pdftex.def Info: unilu.jpg  used on input line 478.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [60
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 472.
+Package pdftex.def Info: unilu.jpg  used on input line 478.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [61
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 472.
+Package pdftex.def Info: unilu.jpg  used on input line 478.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [62
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 472.
+Package pdftex.def Info: unilu.jpg  used on input line 478.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [63
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 489.
+Package pdftex.def Info: unilu.jpg  used on input line 478.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [64
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 489.
+Package pdftex.def Info: unilu.jpg  used on input line 495.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [65
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 518.
+Package pdftex.def Info: unilu.jpg  used on input line 495.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [66
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 518.
+Package pdftex.def Info: unilu.jpg  used on input line 524.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [67
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 518.
+Package pdftex.def Info: unilu.jpg  used on input line 524.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [68
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 518.
+Package pdftex.def Info: unilu.jpg  used on input line 524.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [69
 
 ]
 File: unilu.jpg Graphic file (type jpg)
 <use unilu.jpg>
-Package pdftex.def Info: unilu.jpg  used on input line 518.
+Package pdftex.def Info: unilu.jpg  used on input line 524.
 (pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
  [70
 
 ]
+File: unilu.jpg Graphic file (type jpg)
+<use unilu.jpg>
+Package pdftex.def Info: unilu.jpg  used on input line 524.
+(pdftex.def)             Requested size: 41.93689pt x 37.58171pt.
+ [71
+
+]
 \tf@nav=\write6
 \openout6 = `preplogic-slides.nav'.
 
@@ -1180,31 +1187,31 @@ Package pdftex.def Info: unilu.jpg  used on input line 518.
 \tf@snm=\write8
 \openout8 = `preplogic-slides.snm'.
 
-Package atveryend Info: Empty hook `BeforeClearDocument' on input line 520.
-Package atveryend Info: Empty hook `AfterLastShipout' on input line 520.
+Package atveryend Info: Empty hook `BeforeClearDocument' on input line 526.
+Package atveryend Info: Empty hook `AfterLastShipout' on input line 526.
  (./preplogic-slides.aux)
-Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 520.
-Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 520.
+Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 526.
+Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 526.
 Package rerunfilecheck Info: File `preplogic-slides.out' has not changed.
-(rerunfilecheck)             Checksum: A373F8FE6398D06E7F947047EFB09783;564.
+(rerunfilecheck)             Checksum: DEB4A29A1AFC0897B65A37CC63A87407;231.
 
 
 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
 
  ) 
 Here is how much of TeX's memory you used:
- 18179 strings out of 480478
- 343939 string characters out of 5905927
- 607887 words of memory out of 5000000
- 33601 multiletter control sequences out of 15000+600000
- 544705 words of font info for 69 fonts, out of 8000000 for 9000
+ 18146 strings out of 480478
+ 343117 string characters out of 5905927
+ 607445 words of memory out of 5000000
+ 33570 multiletter control sequences out of 15000+600000
+ 545011 words of font info for 70 fonts, out of 8000000 for 9000
  1141 hyphenation exceptions out of 8191
  54i,20n,63p,800b,908s stack positions out of 5000i,500n,10000p,200000b,80000s
-</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
-Output written on preplogic-slides.pdf (70 pages, 352243 bytes).
+</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss17.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmss9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssbx10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmssi9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
+Output written on preplogic-slides.pdf (71 pages, 363451 bytes).
 PDF statistics:
- 2023 PDF objects out of 2073 (max. 8388607)
- 1902 compressed objects within 20 object streams
- 151 named destinations out of 1000 (max. 500000)
- 176 words of extra memory for PDF output out of 10000 (max. 10000000)
+ 2027 PDF objects out of 2073 (max. 8388607)
+ 1904 compressed objects within 20 object streams
+ 148 named destinations out of 1000 (max. 500000)
+ 136 words of extra memory for PDF output out of 10000 (max. 10000000)