another intermediate commit for fam-o-homeo lemma; found another flaw in proof
\input{\pathtotrunk preamble.tex}\input{\pathtotrunk text/kw_macros}\input{\pathtotrunk talks/beamer_preamble.tex}% This switches fonts to the Palatino family.% \renewcommand{\familydefault}{ppl}\usepackage{array}