logic proof with Fitch System

Question

I am stuck with using Fitch system to construct a proof of

¬(P → Q) ↔ (P ∧ ¬Q)

with no premises. This is what I have done

Answer 1

I could not put them all in one post. Thus, I divided them into three parts

---

Thank you Bram28