cousin_it comments on Automated theorem proving by learning from examples