After announcing his results, Katz was a referee on his manuscript and he asked Wiles a series of questions that led Wiles to recognize that the proof contained a gap. There was an error in a critical portion of the proof which gave a bound for the order of a particular group: the Euler system used to extend Flach’s method was incomplete. Wiles and his former student Richard Taylor spent almost a year resolving it. Wiles indicates that on the morning of September 19, 1994 he realized that the specific reason why the Flach approach would not work directly suggested a new approach with the Iwasawa theory which resolved all of the previous issues with the latter and resulted in a CNF that was valid for all of the required cases. On October 6 Wiles sent the new proof to three colleagues including Faltings. The new proof was published and, despite its size, widely accepted as likely correct in its major components.