Vladimir_Nesov comments on Would solving logical counterfactuals solve anthropics?