Theorem eupicka

Version of eupick with closed formulas. (Contributed by NM, 6-Sep-2008.)

Conclusion
\( \vdash \exists{!} x \, \varphi \wedge \exists x \, (\varphi \wedge \psi) \rightarrow \forall x \, (\varphi \rightarrow \psi) \)
Proof
l0
nfeu1
nfe1
l2
nfan l0 _
eupick
alrimi l2 _