 Once again, we have the difficulty of interpreting a part of the formal semantics. One interpretation of the Routley star is that of Dunn (1993). Dunn uses a binary relation, \(C\), on worlds. \(Cab\) means that \(b\) is compatible with \(a. a\)*, then, is the maximal world (the world containing the most information) that is compatible with \(a\).