 If the horseshoe captures the meaning of the indicative “if”, lots of bad-sounding conditionals from ordinary language come out true just because the antecedent is false or the consequent true: “If Clinton is Australian, then Mars is made of marbles”; “If Strasbourg is in Germany, then Clinton is American”.