Chris_Leong comments on Would solving logical counterfactuals solve anthropics?