The resulting act-consequentialist counterpart theory is guaranteed to yield the same deontic verdicts as the target non-consequentialist theory in every possible world.

But, for now, let us examine why the notational consequentializer thinks that the first premise is true. It’s because they have high hopes for what’s known as the Footian Procedure (Portmore 2011: 112), a procedure for generating an act-consequentialist counterpart theory for any plausible target non-consequentialist theory. To follow this procedure, we simply combine act-consequentialism’s view that an act is permissible if and only if its outcome is not outranked by that of any available alter