Matematik yalnızca teorem ispatı değildir. Her teorem belli bir ilişkiyi dile getiren bir genellemedir. Matematikçinin öncelikle ispat edeceği bir genellemeye ulaşması gerekir. Öğüt yerindedir: Pişireceğin balığı önce yakala!
Agathon: Peki ya uykunun ölümle bir olduğuna dair sözlerin?
Allen: Bir olmaya bir de, insan öldükten sonra, biri "Kalkın, sabah oldu!" diye ünlediğinde terliklerini bulması zor oluyor.