\begin{frame}
  \frametitle{Brackets}

  \begin{goal}{Priority and Brackets}
  The priority rules for \quad$\forall$\quad and \quad$\exists$\quad are the same as for \quad$\neg$\;.
  \end{goal}  
  \pause
  
  \begin{exampleblock}{}
    \vspace{-1ex}
    \begin{talign}
      (\myall{x}{D(x)}) \wedge R(a,j)
    \end{talign}
    can be written as 
    \begin{talign}
      \myall{x}{D(x)} \wedge R(a,j)
    \end{talign}
  \end{exampleblock}
  \pause
  
  \begin{alertblock}{}
    \vspace{-1ex}
    \begin{talign}
      \myall{x}{(D(x) \to R(a,x))}
    \end{talign}
    needs brackets! \pause It is \emph{not equivalent to}
    \begin{talign}
      \myall{x}{D(x)} \to R(a,x)
    \end{talign}
    \pause which is short for
    \begin{talign}
      (\myall{x}{D(x)}) \to R(a,x)
    \end{talign}
  \end{alertblock}

  % %   Sometimes also the brackets for predicates are omitted:
  % %   \begin{itemize}
  % %     \item $Px$ instead of $P(x)$, or
  % %     \item $Rab$ instead of $R(a,b)$.
  % %   \end{itemize}
\end{frame}