'IF 2 = 3, THEN 2 + 1 = 3 + 1': REPLY TO HEYLEN AND HORSTEN

Jan Heylen and Leon Horsten object to my proposed analysis of ordinary-language conditionals by appealing to certain putative counter-examples. In this reply, I explain how, by ignoring my reading of the indicative/subjunctive distinction, their objection misses its target. I also criticize their underlying methodology.