CuSithBell comments on Consequentialist Formal Systems