Template:Automated reasoning