Using Announcements in MOLE

From James Pearson