Perhaps the Italian girlfriend was not where the mainframe on which the theorem ...

		jll29 7 months ago \| parent \| context \| favorite \| on: Building my childhood dream PC 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...