Email Record: Automated development of fundamental mathematical theories /