I came to
the universally quantified assumption overflows the derivation line.
My source is
\documentclass{beamer}
\usepackage{bussproofs}
\newcommand{\mydots}{
\def\extraVskip{-2pt}
\noLine
\UnaryInfC{\vdots}
\def\extraVskip{2pt}
\noLine
}
\begin{document}
\AxiomC{$\exists t. A(t)$}
\AxiomC{[$\forall t. A(t)$]}
\mydots
\UnaryInfC{$C$}
\RightLabel{$\exists$E}
\BinaryInfC{$C$}
\DisplayProof
\end{document}
How can I fix this within using bussproofs.sty
?