The Footian Procedure provides a mechanical method for generating an act-consequentialist counterpart theory for any plausible non-consequentialist target theory.

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