HalFinney comments on Morality as Fixed Computation