Comment Comment by Chrisoaks I also think step 10 is wrong because it assumes that P ≠ Q. parent Chrisoaks 6 years ago
