The motivation and construction of the original Quenched Eguchi-Kawai model are reviewed, providing much greater detail than in the first, 1982 QEK paper. A 2008 article announced that QEK fails as a reduced model because the average over permutations of eigenvalues stays annealed. It is shown here that the original quenching logic naturally leads to a formulation with no annealed average over permutations.