I am working on a predicate logic proof given the following premises:
(For all x)(Fx > Vx)
(There exists x)(Fx & Bx)
Desired conclusion: (There exists) (Vx & Bx)
My instinct here says to use universal elimination on the first premise, generate Vx & Bx as a line, and then use existential introduction to finish it off. Any thoughts on how to approach this? I've done the following so far. Apologies for the poor formatting - I am assuming Fw in line 3.