 Figure 9 depicts \((\rPub(q),e)\), a pointed plausibility action model consisting of two events: the event f in which \(\lnot q\) is announced and the event e in which q is announced. Event e is the event that actually occurs. For each agent a (coming from the full set of agents \(\sA\)), event e is strictly more plausible. We adopt the  same drawing conventions  for plausibility action models that we did for plausibility models: one- and two-way arrows, reflexive and transitive closures, and the requirement of local connectedness. (Well-foundedness follows because the set E of events is finite.) Accordingly, Figure 9 implicitly contains reflexive dashed arrows for each agent at each event. 