 where \(s : T\) is notation for “\(s\) is of type \(T\)”. The idea is that it is concrete parts of the world that act as carriers of information (the concrete dot in the radar or the footprints in Zhucheng), and that they do so by virtue of being of a certain type (the dot moving upward or the footprints showing a certain pattern). What each of these concrete instances indicates is a fact about another correlated part of the world. For the issues to be discussed below it will suffice to consider cases where the indicated fact— \(p\) in the formulation of [IC]—is of the form \(s' : T '\), as in the radar example. 