Real correct proof: 4. ¬¬Q (MT: 2,3) → 5. Q (DN: 4) → dead end. That’s wrong.
: The manual acknowledges that logic isn't always black and white; it notes that some formal proofs of validity may not be the Real correct proof: 4