Shmi comments on Consequentialist Formal Systems