Kantian and Automated Ethics