The claim that Q + N_Q collapses into SQML conflates provability-theoretic equivalence with semantic...