compatibility of first and last n-cat axioms; mention stricter variant of last axiom
\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}