Szpiro's_conjecture loading ...