HalFinney comments on Can Counterfactuals Be True?