HalFinney comments on Observing Optimization