Chris_Leong comments on Logical Counterfactuals are low-res