Finished dealing with main issues in product thm proof; small issues still remain
\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}