in response to ref rpt, adding a completely redundant proof for fiber bundle thm; still think about general map case
\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}