Using Announcements in MOLE

From Jeremy Brake