Automated Theory Formation in Pure Mathematics by Simon Colton