converting sphere axiom to a proposition; still need to make similar changes in module axioms
\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}