To be clear, I'm just struggling to understand why Fitch won't let me use EE. From other examples I've seen, I've set it up correctly for EE. I've also tried using BotE and EE on the desired sentence, various variants of the proof, but it always comes down to Fitch not allowing me to do EE. What am I doing wrong? I'm a noob at Fitch, I can prove this so many ways but Fitch frustrates me to no end.