https://ideas.creativecasinoties.com/post/douglas-lenats-automated-mathematician-source-code-b84hl5