Quinn comments on Minimal intuitionistic logic as a setting for logical counterfactuals

[Quinn]

Thanks for the suggestion, Patrick. I’ve now adapted Tsvi’s formal argument to the reframed “5-equals-10 problem” and added it into the last section of my writeup.