A2

Proving the converse of number 2 on the second assignment, I had to find an example of m and n so that it satisfies the conjunction statement of the proof, and then I had to prove that for all k's that the proof holds true. Halfway through the proof, I thought that I had not proved that the proof holds true for all k's, but just for the k's that depends on the existential quantifier associated with the m and n.

But then I remembered that the order of the quantifiers matter.
All the k's were supposed to be dependent on the numbers I chose for m and n.