wantstojoinin comments on Consequentialist Formal Systems