 For now, note that semantic models of different information channel types will be individuated in terms of how it is that the “putting together” of \(x\) and \(y\) in \(Rxyz\) is understood precisely. For example, putting \(x\) together with \(y\) might mean the same thing as putting \(y\) together with \(x\), or it might not, depending on whether or not one wants the ternary relation \(R\) to be a commutative relation. That is, on whether or not one wants it to be the case the \(\forall x\;\forall y\;\forall z(Rxyz\to Ryxz)\) Whether or not one does want \(R\) to be a commutative relation will depend on properties of the information channels that one is trying to model (for which see the paragraph above).