 The proposal in sum is that when we express a constraint \(\phi\to\psi\) by way of uttering if \(s_1\) then \(s_2\), we are making a claim to the effect that there is an information channel supporting the constraint. For an information channel to support a constraint, Barwise’ proposal is the following: