1. (Εx)(y)(Fxy.x =a)
2. (x) (Ey)(Fxy ⊃x=y)
3. (y)(Fby.b=a)
4. (Ey)(Fby⊃b=y)
5. Fbc ⊃ b =c
6. Fbc.b=a
7. Fbc
8. b=c
9. b=a.Fbc
10. b=a
11. Fac
12. c=b
13. c=a
14. Faa
Fill in the justification for each line in the following proof. Remember: a justification includes the relevant line number(s) and the rule of inference used.
