 (11)  states that if information of type \(\phi\) is true at the situation \(x\), and there is an information channel \(c\) from the situation \(x\) to the situation \(y\), and there is a constraint from information of type \(\phi\) to information of type \(\psi\), then information of type \(\psi\) is true at the situation \(y\).