HalFinney comments on Little Johny Bayesian