2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/77013George Andrews's recent challenge to automated identity-proving and the WZ method is dealt with. It is argued that the rivalry between the classical and automated approaches to hypergeometric sums is beneficial to both.Plain TeX, to appear in J. Difference Eq. ApplCombinatoricstext