Stuart_Armstrong comments on Consequentialist Formal Systems