cousin_it comments on Consequentialist Formal Systems