 Starting with the channel theoretic analysis of conditionals, as noted already, the running motivation behind Barwise’s channel-theoretic framework is that information flow is underpinned by an information channel. Barwise understood conditionals as constraints in the sense that \(A \rightarrow B\) is a constraint from \(A\) to \(B\) in the sense of \(A \Rightarrow B\) from  section 2.2  above. If the information that \(A\) is combined with the information encoded by the constraint, then the result or output is the information that \(B\). 