Claiming diagonalization *cannot* separate P and NP conflates one well-defined barrier (relativizati...