\begin{frame}[t]{At Least}
  \examplemodel
  \pause\bigskip
  
  \sentence{At least one $P$-value:}
  \pause
  \begin{talign}
    \model{\amodel} \malt[1]{\gray{\satisfiesblack}}{\satisfies} \formula{\existsst{x}{\,\unpred{\mediumblue{P}}{x}}}
  \end{talign}
  \updatepause
  \sentence{At least two $P$-values:}
  \pause
  \begin{talign}
    \model{\amodel} \malt[1]{\gray{\satisfiesblack}}{\satisfies} 
    \formula{\existsst{x}{\existsst{y}{(\logand{\unpred{\mediumblue{P}}{x}}{\logand{\unpred{\mediumblue{P}}{y}}{x \neq y}}})}}
  \end{talign}
  \updatepause
  \sentence{At least three $P$-values:}
  \pause
  \begin{talign}
    \model{\amodel} 
        \malt[1]{\gray{\satisfiesblack}}{\satisfiesnot}
      \existsst{x}{\existsst{y}{\existsst{z}{\;\big(\;
         &\unpred{\mediumblue{P}}{x} \logandinf \unpred{\mediumblue{P}}{y} \logandinf \unpred{\mediumblue{P}}{z} \\
         &\logandinf x \neq y \logandinf x \neq z \logandinf y \neq z
      \;\big)\;}}}
  \end{talign}
\end{frame}