 As an instance of (6), take “If Mars is made of marbles, then either St Andrews is in Scotland, or it isn’t”: the material constitution of Mars has little to do with St Andrews’ location. Some theorists argue that treatments of the conditional that do not render conditionals like these automatically true would be preferable.