grantcastillou@gmail.com comments on From language to ethics by automated reasoning