[eds]

Agreed about the diagonalization method, but that's not what he said was unintuitive. He said the statement was unintuitive.