Multiheaded comments on Consequentialist Formal Systems