Write me a programs that could write me a program that could write Doug Lenat's Automated Mathematician ... and so on and so forth.