Without explosion, the knowability paradox's reductio cannot establish that K(p ∧ ¬Kp) is necessaril...