Colton, Simon: Automated Theory Formation in Pure Mathematics