shminux comments on Consequentialist Formal Systems