 Infons are not intrinsic bearers of truth, and they are not claims either. They are simply informational issues that may or may not be supported by particular situations. We’ll write \(s \models \sigma\) to mean that the situation \(s\) supports the infon \(\sigma\). As an example, a successful transaction whereby Mary bought a piece of cheese in the local market is a situation that supports the infon 