First, let us define a convenient algebra that allows us to express important assertions in this domain. We need to distinguish between: (I) the act of evaluating the ethical adequacy of a system and (II) the act of determining the set of transformations or interventions that are necessary ...