Archimedes comments on Diagonalization: A (slightly) more rigorous model of paranoia