shminux comments on Two Alternatives to Logical Counterfactuals