“…In the expectations in (30), taken over (s ≻ s i , ω), player i can deviate to any a ′ i and also misreport to all players ≻ s -below him by switching to any positive probability message profile s ′ ≺ s ′ i = (s ′ j : j ≺ s ′ i) such that the set of i's predecessors at s ′ is the same as at s. 17 One subtlety in (30) is that upon observing s i , i learns his rank in the total order ≺ s , because he can infer it from { j : j ≺ s i}, whose messages he is asked to forward and can manipulate. Hence, unlike in Halac, Lipnowski, and Rappoport (2020) and Morris,Oyama,17 We abstract from deviations to message profiles where { j : j ≺ s i} ⊆ { j : j ≺ s ′ i} as those may be detected as misreports at some point in the hierarchy.…”