 In this case, Cathy knows a priori that if \(\omega_3\) obtains there will be no announcement, and similarly for \(\omega_4\). Thus, she will be able to distinguish these states from \(\omega_5\) and \(\omega_6\), respectively.