In this program, an agreed upon necessary (though, in general, not sufficient) condition for a conditional to be logically valid is that there be some connection between antecedent and consequent. Historically, this has often been phrased via a requirement called the Variable Sharing Property (VSP): \(A \rightarrow B\) is valid only when \(A\) and \(B\) share some sentential variable or parameter (cf. Anderson & Belnap 1975: 32–3). VSP delivers hyperintensional distinctions: conditionals wit