 We saw above that for \(\PAL\) it was possible to combine two consecutive announcements into a single announcement via the schematic validity   \[ [F!][G!]H\leftrightarrow[F\land[F!]G!]H.  \]   Something similar is available for action models. 