tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure
\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}