1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 15 should be this:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 12 should be this, with this justification:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 8 should be this, with this justification:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 19 should be this:

1. ~(x)Ox 2. (x)Ax 3. (x)(Hx v ~Mx) 4. (x)Hx > (x)(Ax > Ox) 5. [(x)Mx + (∃x)Px] v ~Ka      / ~(x)Kx 6. ____                 1 QN 7. ____                 ___ 8. ____                 ___ 9. ____                 7,8 conj 10. ____               9 DM 11. ____               10 impl 12. ____               11 ___ 13. ____               12 ___ 14. ____               4,13 MT 15. ____               14 QN 16. ____               ____ 17. ____               ____ 18. ____               16,17 DS 19. ____               18 EG 20. ____               19 QN 21. ____               20 add 22.____                21 DM 23. ~Ka                5, 22 DS 24. ___                 ____ 25. ~(x)Kx            ____   Line 6 should be this:

Climate change can be considered a security issue.

NGOs can influence global politics.

An example of a state in IR is __________.

The main focus of IR is solving the ______ problem.

Satiation is