 According to Barwise, for any conditional statement if \(s_1\) then \(s_2\), such that the descriptive content of \(s_1\) is of type \(\phi\), and the descriptive content of \(s_2\) is of type \(\psi\), the descriptive content of if \(s_1\) then \(s_2\) is the constraint \(\phi\to\psi\). Constraints are connections between types. The demonstrative content of if \(s_1\) then \(s_2\) will be a connection between the demonstrative contents of \(s_1\) and \(s_2\). Supposing that \(x\) is the demonstrative content of \(\phi\), and \(y\) is the demonstrative content of \(\psi\), the demonstrative content of if \(s_1\) then \(s_2\) will be a connection between \(x\) and \(y\), with this connection being an information channel \(c\) between \(x\) and \(y\), written \(x\cmapsto y\). As Barwise puts it succinctly: