Alerus comments on Consequentialist Formal Systems