twanvl comments on [LINK] Vladimir Slepnev talks about logical counterfactuals