The Complexity of Diagonalization — arXiv2