 One may think the issue is that the connection between antecedent and consequent is too contingent an affair here. One may require, for “If \(A\), then \(B\)” to be true, that it cannot be the case that the antecedent is true while the consequent is false. This gives the so-called strict conditional: a modal operator, “\(\prec\)”, such that “\(A \prec B\)” is understood as “At any possible world where \(A\) is true, \(B\) is true”.