 The relation \(\Rightarrow\) is transitive. This ensures that Dretske’s Xerox principle holds in this account of information transfer, that is, there can be no loss of semantic information through information transfer chains. 