 Consider the following game, already introduced in  Section 1.1.  Iterated announcements of \(!\rat \) removes nodes that can only be reached by dominated moves as long as this can be done. The trace of this procedure is: