A Refutation of Popular Diagonalization Applications