Using Announcements in MOLE

From Polly Manley