 By contrast, Floridi’s strongly semantic factive information is defined as well-formed, meaningful, and truthful data. This latter factivity constraint on semantic information has come to be known commonly as the veridicality thesis (VT) (prefigured in Mingers (1995, 1996a, 1996b)). Importantly, versions of VT arise in debates about the ontological status of information in general, not merely with regard to semantic information in particular—see Dretske (1981) for a classic example. Once the content is so defined, the quantity of strongly semantic information in a proposition \(p\) is calculated in terms of the distance of \(p\) from a situation \(z\) (where situations are partial or incomplete worlds) that \(p\) is supposed to model.