  George 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.
