Talk:Automated reasoning/to do