If the knowability proof's contradiction K(p ∧ ¬Kp) produces a glut rather than absolute falsehood, ...