\input{../opening}

\renewcommand{\asetfuncs}{\forestgreen{\mathcal{F}}}
\renewcommand{\asetpreds}{\forestgreen{\mathcal{P}}}

\newenvironment{reditemenv}{\only{\setbeamercolor{local structure}{fg=red}}}{}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\maketitleslide{--- Predicate Logic with Equality ---}
               {November 17, 2014}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\theme{Russell's Barber Paradox}