Email Record: Automated Theory Formation in Pure Mathematics /