5/6
\begin{frame}

\begin{goal}{Assignments (ProofWeb Practicum)}
You need to solve
\begin{itemize}
\item 50\% of the propositional logic tasks
\item 50\% of the predicate logic tasks without equality
\item 1 of the predicate logic tasks with equality assigned
\end{itemize}
\end{goal}
\alert{\textbf{Passing the practicum required for exam participation!}}
\bigskip

%   \begin{goal}{Final Exam}
%     Covers everything that we have treated in the lectures
%     and the parts of the book that you are expected to read.
%   \end{goal}
%   \pause\medskip