# I'm almost finished with this logical proof but I can't figure out the very end! Could someone take a look? :)

It's an FOL proof Thank you so much!

On line 3 you should assume $$F(a)$$
Remember you are setting up an $$\exists$$ Elim on $$\exists x \ F(x)$$ (Indeed, line 7 should refer to premise 2, not 1) and so you should take the formula $$F(x)$$ and substitute a constant for the $$x$$.