9-29-06

My Logic professor: I know he means well, but he infuriates me. Today he said that using a theorem as a shortcut to solving a problem is harder than just doing the same work over and over again and essentially re-proving the theorem each time.