This systematic rebuildingpermitted the solution of deep number-theoreticproblems, among them the final step in the proofof the Weil Conjectures by Deligne, the proof ofthe Mordell Conjecture by Faltings, and the solu-tion of Fermat’s Last Problem by Wiles.