\begin{array}{|c|c|}
\hline
\delta(x) & \delta(t)
\\ \hline\hline
F\,(\forall x)A(x) & F\,A(t)
\\ \hline
T\,(\exists x)A(x) & T\,A(t)
\\ \hline
\end{array}