Jitpro Exercise 2.1 (Exchanging Quantifiers)
You had a problem like this on Test 5 where you gave an ND proof. It's a good idea for you to do a tableau proof and compare the tableau proof to the ND proof.
A similar problem.
Jitpro Exercise 2.2 (Simple Quantifier Examples)
Jitpro Exercise 2.3