 Theorem provers have been applied within deontic logics in the attempt to mechanize ethical reasoning and decision-making (Meyer &amp; Wierenga 1994; Van Den Hoven &amp; Lokhorst 2002; Balbiani, Broersen, &amp; Brunel 2009; Governatori &amp; Sartor 2010; Benzmüller, Parent, &amp; van der Torre 2018; Benzmüller, Farjami, &amp; Parent, 2018). Alan Gewirth has argued that agents contradict their status as agents if they don’t accept a principle of generic consistency—respecting the agency-necessary rights of others—as a supreme principle of practical rationality (Gewirth 1978; Beyleveld 1992, 2012). Fuenmayor and Benzmüller have shown that even an ethical theory of this complexity can be formally encoded and assessed computationally (Fuenmayor &amp; Benzmüller 2018).