Perhaps the Italian girlfriend was not where the mainframe on which the theorem prover ran? ;)

If I had been in Italy, perhaps my Ph.D. would never have been finished...