 In any case, notational consequentializing aims to use the Footian Procedure, if possible, to demonstrate that every plausible non-consequentialist theory has an extensionally equivalent act-consequentialist counterpart theory with the goal of establishing that, in every instance, the target non-consequentialist theory and the resulting act-consequentialist counterpart theory are mere notational variants of each other. In doing this, the notational consequentializer hopes to establish that the consequentialist/non-consequentialist distinction is unimportant (and, indeed, empty). And this would mean that there is nothing uniquely compelling about act-consequentialism and, so, no reason (or, at least, no non-pragmatic reason) for us to consequentialize rather than, say, Kantianize (cf. Dreier 2011: 115).