HalFinney comments on The Costs of Rationality