Vladimir_Nesov comments on From language to ethics by automated reasoning